I have a usage where the symbols needs to be dynamic (add and remove). It is possible to remove them one by one to rebuild the symbols table, but it would be most convenient to just call symbols.clear() and then add back the new symbols.