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