with infile "input.txt"
  with outfile "output.txt"
    whilet line (read_line)
      prn line