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