MODULE PBadRet2;
PROCEDURE P;
BEGIN
  RETURN 1
END P;
BEGIN
END PBadRet2.