$use StdIO;

$channel C;

Main =
  <Open-File &C "open_file1.rf" R>,
  {
    <Read-Line! &C> $iter <Read-Line! &C> :: e.line,
      <PrintLN e.line>,
      $fail;;
  };