main =>
  Reader = open("file.txt"),
  while(not at_end_of_stream(Reader))
    L = read_line(Reader),
    println(L)
  end,
  close(Reader).