public static void clearSymbolRegistry() {
    { GeneralizedSymbol symbol = null;
      Cons iter000 = Stella.$SYMBOL_SET$.theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        symbol = ((GeneralizedSymbol)(iter000.value));
        Stella.$SYMBOL_REGISTRY$.removeAt(symbol);
      }
    }
    Stella.$SYMBOL_SET$.clear();
  }