STATE4_DESIGNATED_CNS11643_3
state4 = STATE4_DESIGNATED_CNS11643_3;
case STATE4_DESIGNATED_CNS11643_3:
int count = (state4 == STATE4_DESIGNATED_CNS11643_3 ? 0 : 4) + 4;
if (state4 != STATE4_DESIGNATED_CNS11643_3) {
state4 = STATE4_DESIGNATED_CNS11643_3;