cleaning up .. .: symbol_table