test_ftruncate    200 user/testbin/badcall/driver.c 	{ 'l', 4, "ftruncate",		test_ftruncate },
test_ftruncate     87 user/testbin/badcall/test.h void test_ftruncate(void);