program
x;
begin
  x := 1;
  while (x > 1)
  do skip;
  x := x+1;
end