 32-bit pop, high-order 16 bits discarded *)
              ELSE (* OperandSize = 16 *)
                    IF top 4 bytes of stack not within stack limits
                         THEN #SS(0); FI;
                    tempEIP ← Pop();
                    tempEIP ← tempEIP AND 0000FFFFH;
                    IF tempEIP not within code segment limits
                         THEN #GP(0); FI;
                    EIP ← tempEIP;
                    CS ← Pop(); (* 16-bit pop *)
         FI;
    IF instructi