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