public static String yieldUniqueGensymName(String prefix, Module module) {
    { String gensymName = Stella.yieldGensymName(prefix, Stella.$GENSYM_COUNTER$ = Stella.$GENSYM_COUNTER$ + 1);

      while (Symbol.lookupSymbolInModule(gensymName, module, false) != null) {
        gensymName = Stella.yieldGensymName(prefix, Stella.$GENSYM_COUNTER$ = Stella.$GENSYM_COUNTER$ + 1);
      }
      return (gensymName);
    }
  }