*/
  public static void unregisterCmdLineOption(String key) {
    { CmdLineOption cmdlineoption = ((CmdLineOption)(Stella.$REGISTERED_COMMAND_LINE_OPTIONS$.lookup(StringWrapper.wrapString(key))));

      if (cmdlineoption != null) {
        { StringWrapper registeredkey = null;
          Cons iter000 = cmdlineoption.keys;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            registeredkey = ((StringWrapper)(iter000.value));
            Stella.$REGISTERED_COMMAND_LINE_OPTIONS$.removeAt(registeredkey);
          }
        }
        Stella.$REGISTERED_COMMAND_LINE_OPTIONS$.removeAt(StringWrapper.wrapString(key));
      }
    }
  }