let channel_stdin () = Pervasives.stdin