MODULE T;
VAR i : INTEGER;
BEGIN
  WHILE i DO i := i + 1 END
END T.