SymbolTable#add_symbol and #get_symbol