Symbol: txc_int_stat_t