let ! reverse input lines
type Line ~ record
     length : Integer,
     content : array 80 of Char
end;

proc getline (var line : Line) ~
let
     var ch : Char
in begin
     line.length := 0;
     while \ eol () do begin
          get (var ch);
          line.content [line.length] := ch;
          line.length := line.length + 1;
     end; ! while
     geteol ();
end; ! getline

proc putreversedline (line : Line) ~
let
     var i : Integer
in begin
     i := line.length;
     while i > 0 do begin
          i := i - 1;
          put (line.content [i])
     end; ! while
     puteol ();
end; ! getline

var line : Line
in begin
     while \ eof () do begin
          getline (var line);
          putreversedline (line);
     end; ! while
end ! of program