demos/prog.output

   1 Before:
   2 begin
   3    var x : integer;
   4    var y : integer;
   5    var z : array (10 * 30) of integer;
   6
   7    x := (0 + (y * 1));
   8    while (1 <> 1) do
   9       y := (y + 1);
  10    end while;
  11    print (not false);
  12
  13 end
  14
  15 After:
  16 begin
  17    var x : integer;
  18    var y : integer;
  19    var z : array 300 of integer;
  20
  21    x := y;
  22    print true;
  23
  24 end