Symbol: txp_hsi_t