pipe               52 user/testbin/badcall/bad_pipe.c 	rv = pipe(ptr);
pipe               66 user/testbin/badcall/bad_pipe.c 	rv = pipe((int *)ptr);