Create an executable file that copies stdin to stdout, or else a script that does so through the invocation of an interpreter at the command line.

fun copyLoop () =
  case TextIO.input TextIO.stdIn of
    "" => ()
  | tx => copyLoop (TextIO.output (TextIO.stdOut, tx))
 
val () = copyLoop ()