STATE2_DESIGNATED_KSC5601
if (state2 != STATE2_DESIGNATED_KSC5601) abort();
int count = (state2 == STATE2_DESIGNATED_KSC5601 ? 0 : 4) + (state1 == STATE_TWOBYTE ? 0 : 1) + 2;
if (state2 != STATE2_DESIGNATED_KSC5601) {
state2 = STATE2_DESIGNATED_KSC5601;
state2 = STATE2_DESIGNATED_KSC5601;
if (state2 != STATE2_DESIGNATED_KSC5601)