                  ELSE (* StackAddressSize = 16 *)
                                    SP ← SP + SRC;
                         FI;
              FI;
    FI;
FI;
(* Real-address mode or virtual-8086 mode *)
IF ((PE = 0) or (PE = 1 AND VM = 1)) and instruction = far return
    THEN
         IF OperandSize = 32
              THEN
                    IF top 8 bytes of stack not within stack limits
                         THEN #SS(0); FI;
                    EIP ← Pop();
                    CS ← Pop(); (*