public static int lookupRigidSymbolOffsetWrtModule(String name, Module module, int kindofsym) {
    { StringToIntegerHashTable offsettable = Module.selectSymbolOffsetTable(module, kindofsym);
      int offset = offsettable.lookup(name);

      if (offset != Stella.NULL_INTEGER) {
        return (offset);
      }
      { Module renamed_Super = null;
        Cons iter000 = Module.visibleModules(module).rest;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          renamed_Super = ((Module)(iter000.value));
          offset = Module.selectSymbolOffsetTable(renamed_Super, kindofsym).lookup(name);
          if (offset != Stella.NULL_INTEGER) {
            return (offset);
          }
        }
      }
      return (Stella.NULL_INTEGER);
    }
  }