fds 60 user/testbin/badcall/bad_pipe.c int fds[3], rv; fds 63 user/testbin/badcall/bad_pipe.c ptr = (char *)&fds[0];