test_time         213 user/testbin/badcall/driver.c 	{ 'y', 5, "__time",		test_time },
test_time         100 user/testbin/badcall/test.h void test_time(void);