* @param sizecutoff
   */
  public static void printExtensionSizes(Module module, int sizecutoff) {
    if (sizecutoff == Stella.NULL_INTEGER) {
      sizecutoff = 10;
    }
    if (module == null) {
      module = ((Module)(Stella.$MODULE$.get()));
    }
    { List descriptions = List.newList();
      String size = null;

      { NamedDescription d = null;
        Iterator iter000 = Logic.allNamedDescriptions(module, false);
        Cons collect000 = null;

        while (iter000.nextP()) {
          d = ((NamedDescription)(iter000.value));
          if ((d.extension != null) &&
              (d.extension.estimatedLength() >= sizecutoff)) {
            if (collect000 == null) {
              {
                collect000 = Cons.cons(d, Stella.NIL);
                if (descriptions.theConsList == Stella.NIL) {
                  descriptions.theConsList = collect000;
                }
                else {
                  Cons.addConsToEndOfConsList(descriptions.theConsList, collect000);
                }
              }
            }
            else {
              {
                collect000.rest = Cons.cons(d, Stella.NIL);
                collect000 = collect000.rest;
              }
            }
          }
        }
      }
      descriptions.sort(Native.find_java_method("edu.isi.powerloom.logic.Description", "descriptionExtensionL", new java.lang.Class [] {Native.find_java_class("edu.isi.powerloom.logic.Description"), Native.find_java_class("edu.isi.powerloom.logic.Description")}));
      { NamedDescription desc = null;
        Cons iter001 = descriptions.reverse().theConsList;

        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
          desc = ((NamedDescription)(iter001.value));
          size = Native.integerToString(((long)(desc.extension.estimatedLength())));
          size = Native.makeString(8 - size.length(), ' ') + size;
          System.out.println(size + " : " + desc.descriptionName());
        }
      }
    }
  }