digital: kept the original code for setting the symbol_table