More work on the symbol table