symboltable header stuff, works