M2compiler-V1/tests/p_bad_return3.mod

MODULE PBadRet3;
VAR ExitCode : INTEGER;
PROCEDURE F : INTEGER;
BEGIN
  RETURN
END F;
BEGIN
  ExitCode := F()
END PBadRet3.