Added a copy_symbol_table function