rn code segment selector points from descriptor table;
         IF return code segment descriptor is not a code segment
              THEN #GP(selector); FI;
         IF return code segment descriptor has L-bit = 1 and D-bit = 1
              THEN #GP(selector); FI;
         IF return code segment selector RPL &lt; CPL
              THEN #GP(selector); FI;
         IF return code segment descriptor is conforming
         and return code segment DPL &gt; return code segment selector RPL
              THEN #G