File  pipe_write.c   Xinu path name  device/pipe/pipe_write.c