$ include "seed7_05.s7i";

const proc: main is func
  local
    var string: line is "";
  begin
    while hasNext(IN) do
      readln(line);
      writeln("LINE: " <& line);
    end while;
  end func;