add: symbol table