--- orig/GLEmitter.java	2003-06-08 21:27:10.000000000 +0200
+++ new/GLEmitter.java	2003-06-21 23:46:16.000000000 +0200
@@ -216,6 +216,18 @@
       //System.err.println("WARNING (GL): *not* run-time linking: " + sym +
       //                   "(" + funcPointerTypedefName + " undefined)");
     }
+    else 
+    {
+        FunctionType typedef = typedefDictionary.get(funcPointerTypedefName).asPointer().getTargetType().asFunction();
+        FunctionType fun = sym.getType();
+        int numarg = typedef.getNumArguments();
+        for ( int i =0; i < numarg; i++ )
+        {
+          if ( fun.getArgumentName(i) == null )
+            fun.setArgumentName(i,typedef.getArgumentName(i));
+        }
+	}
+    
     return shouldWrap;
   }