Symbol: tlbtid_t