Listing:

    1  MODULE PBadRet1;
    2  BEGIN
    3    RETURN
*****    ^ bad RETURN
    4  END PBadRet1.

    1 error