EN
                                    ESP ← ESP + SRC;
                              ELSE (* StackAddressSize = 16 *)
                                    SP ← SP + SRC;
                         FI;
              FI;
              tempESP ← Pop();
              tempSS ← Pop(); (* 16-bit pop; segment descriptor loaded *)
              ESP ← tempESP;
              SS ← tempSS;
    FI;
    FOR each of segment register (ES, FS, GS, and DS)
         DO
              IF segment register points to data