3 void tests_Native1__printSomething____V(void)
5 printf("printSomething: woot \\o/\n");
8 void tests_Native1__printSomething___I_V(int a)
10 printf("printSomething: 0x%08x\n", a);
13 void tests_Instance5__printX___I_V(int a)
15 printf("printX: 0x%08x\n", a);
18 void java_io_PrintStream__printf___I_V(int a)
20 printf("printstream: 0x%08x\n", a);