public static void clearAllMemoizationTables() {
    { MemoizationTable table = null;
      Cons iter000 = Stella.$ALL_MEMOIZATION_TABLES$.theConsList;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        table = ((MemoizationTable)(iter000.value));
        table.tableName.surrogateValue = null;
      }
    }
    Stella.$ALL_MEMOIZATION_TABLES$.clear();
  }