binary(symbol_tables)