Latest work on new symbol table