protocol IO-Streams
  description   Used to mimic streams within OS.
  abbreviation IO Input Output
  document IO Streams std[in|out|err] manual page
  message stdin The input stream.
  message stdout The output stream.
  message stderr The error stream.
  message eof Special message to indicate End Of File