WIP: proper symbol table