MODULE PBadRet1;
BEGIN
  RETURN
END PBadRet1.