MODULE TBadReturn;
VAR ExitCode : INTEGER;
BEGIN
  RETURN 1
END TBadReturn.