some more work on the symbol table