Use make_symbol_table and to_int in main()