code: @SuppressWarnings("unused")
      private void opSetOptionPush() {
          // option = code[ip++]; // final for now
          pushAlt(ip, s, sprev, pkeep);
          ip += OPSize.SET_OPTION + OPSize.FAIL;
      }
docs: /* no need: IS_DYNAMIC_OPTION() == 0