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