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