MODULE TBadWhile;
VAR ExitCode : INTEGER;
BEGIN
  WHILE 1 DO ExitCode := 1 END
END TBadWhile.