symbol tables mgmt