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