added symbol table