Every process has its own buffers for getc/ungetc. Jeremyh wants another process to read the ungotten characters, which won't be possible even if their STDIN file descriptors refer to the same pipe/socket/terminal/whatever.