                                   THEN #GP(0); FI;
                              EIP ← tempEIP;
                    FI;
         FI;
    IF instruction has immediate operand
         THEN (* Release parameters from stack *)
              IF StackAddressSize = 32
                    THEN
                         ESP ← ESP + SRC;
                    ELSE
                         IF StackAddressSize = 64
                              THEN
                                    RSP ← RSP + SRC;
            