HEN #GP(selector); FI;
    IF return code segment descriptor is conforming
    and return code segment DPL &gt; return code segment selector RPL
         THEN #GP(selector); FI;
    IF return code segment descriptor is non-conforming and return code segment DPL ≠ return code segment selector RPL
         THEN #GP(selector); FI;
    IF return code segment descriptor is not present
         THEN #NP(selector); FI:
    IF return code segment selector RPL &gt; CPL
         THEN GOTO RETURN-OUTER-PRIVILEGE-LEV