public static String getStringifiedModule(Module module) {
    { String modulename = module.moduleName;
      List parents = module.parentModules;
      List uses = module.uses;
      String documentation = module.documentation;
      String parentstrings = "";
      String usesstrings = "";
      String result = null;

      { Module parent = null;
        Cons iter000 = parents.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          parent = ((Module)(iter000.value));
          parentstrings = parentstrings + " " + parent.moduleFullName;
        }
      }
      { Module use = null;
        Cons iter001 = uses.theConsList;

        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
          use = ((Module)(iter001.value));
          usesstrings = usesstrings + " " + use.moduleName;
        }
      }
      result = "(defmodule " + modulename + " :includes (" + parentstrings + ") :uses (" + usesstrings + ") ";
      if (documentation != null) {
        result = result + ":documentation \"" + documentation + "\"";
      }
      result = result + ")";
      return (result);
    }
  }