r 16 bits discarded, segment descriptor loaded *)
         ESP ← tempESP;
         SS ← tempSS;
    ELSE
         IF OperandSize = 16
              THEN
                    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 *)
              