added placeholder symbol table