Symbol: txc_ro_state1_t