public static Cons yieldVisibleRigidSymbolsWrtModule(String name, Module module, int kindofsym) {
    { Cons listofsymbols = Stella.NIL;
      GeneralizedSymbol symbol = null;

      { Module visiblemodule = null;
        Cons iter000 = Module.visibleModules(module);

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          visiblemodule = ((Module)(iter000.value));
          { 
            symbol = GeneralizedSymbol.lookupRigidSymbolLocally(name, visiblemodule, kindofsym);
            if (symbol != null) {
              listofsymbols = Cons.cons(symbol, listofsymbols);
            }
          }
        }
      }
      return (listofsymbols.reverse());
    }
  }