* @param paramsAvalues
   */
  public static void setLoggingParameters(String module, Cons paramsAvalues) {
    { PropertyList options = Stella_Object.vetOptions(paramsAvalues, Stella.getQuotedTree("((:LOG-LEVELS :LEVEL :STREAM :PREFIX :MAX-WIDTH) \"/STELLA\")", "/STELLA"));
      PropertyList loginfo = null;

      { StringWrapper mod = null;
        PropertyList props = null;
        KvCons iter000 = Stella.$LOGGING_REGISTRY$.theKvList;

        for (;iter000 != null; iter000 = iter000.rest) {
          mod = ((StringWrapper)(iter000.key));
          props = ((PropertyList)(iter000.value));
          if (Stella.stringEqualP(module, mod.wrapperValue)) {
            loginfo = props;
          }
        }
      }
      if (loginfo == null) {
        loginfo = PropertyList.newPropertyList();
        Stella.$LOGGING_REGISTRY$.insertAt(StringWrapper.wrapString(module), loginfo);
      }
      { Stella_Object key = null;
        Stella_Object value = null;
        Cons iter001 = options.thePlist;

        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest.rest) {
          key = iter001.value;
          value = iter001.rest.value;
          loginfo.insertAt(key, value);
        }
      }
    }
  }