p 8 bytes of stack not within stack limits
                                    THEN #SS(0); FI;
                              RIP ← Pop();
                         ELSE (* OperandSize = 16 *)
                              IF top 2 bytes of stack not within stack limits
                                    THEN #SS(0); FI;
                              tempEIP ← Pop();
                              tempEIP ← tempEIP AND 0000FFFFH;
                              IF tempEIP not within code segment limits
 