                        SP ← SP + SRC;
              FI;
    FI;
(* IA-32e Mode *)
    IF (PE = 1 and VM = 0 and IA32_EFER.LMA = 1) and instruction = far return
         THEN
              IF OperandSize = 32
                    THEN
                         IF second doubleword on stack is not within stack limits
                              THEN #SS(0); FI;
                         IF first or second doubleword on stack is not in canonical space
                              THEN #SS(0); FI;
          