                              ESP ← ESP + SRC;
                         ELSE
                              IF StackAddressSize = 16
                                    THEN
                                         SP ← SP + SRC;
                                    ELSE (* StackAddressSize = 64 *)
                                         RSP ← RSP + SRC;
                              FI;
                    FI;
         FI;
         tempESP ← Pop();
         tempSS ← Pop(); (* 32-bit pop, high-orde