16-bit pop *)
              ELSE (* OperandSize = 64 *)
                    RIP ← Pop();
                    CS ← Pop(); (* 64-bit pop, high-order 48 bits discarded *)
         FI;
FI;
IF instruction has immediate operand
    THEN (* Release parameters from stack *)
         IF StackAddressSize = 32
              THEN
                    ESP ← ESP + SRC;
              ELSE
                    IF StackAddressSize = 16
                         THEN
                              SP ← SP + SRC;
        