# test the improved readline handling that does not care whether its
# Macintosh, Unix or Windows text format.

var
  inp: File
  line: string

if open(inp, "readme.txt"):
  while not endOfFile(inp):
    line = readLine(inp)
    echo("#" & line & "#")
  close(inp)