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