symbtable