better symbol table support