Symbol: HTE_TS_REGISTERED