public static String yieldModuleMenuString(Cons modules) {
    if (modules == Stella.NIL) {
      return ("");
    }
    return (OntosaurusUtil.yieldChoiceMenuString(modules, "NAME='MODULE' onChange='document.cookie=\"theory=\" + this[this.selectedIndex].value + \";\";'"));
  }