Use hash table for symbol manager #24