public static Iterator visibleRigidSymbolsWrtModule(String name, Module module, int kindofsym) {
    return (Stella.yieldVisibleRigidSymbolsWrtModule(name, module, kindofsym).allocateDestructiveListIterator());
  }