Symbol: ucs_state_t