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.

try
  while true do
    output_char stdout (input_char stdin)
  done
with End_of_file -> ()