 seg. descriptor loaded *)
              ESP ← tempESP;
              SS ← tempSS;
         ELSE (* OperandSize = 16 *)
              EIP ← Pop();
              EIP ← EIP AND 0000FFFFH;
              CS ← Pop(); (* 16-bit pop; segment descriptor loaded *)
              CS(RPL) ← CPL;
              IF instruction has immediate operand
                    THEN (* Release parameters from called procedure’s stack *)
                         IF StackAddressSize = 32
                              TH