eof/2,3: close stdin of a process