KRL_SECTION_CERT_SERIAL_RANGE
case KRL_SECTION_CERT_SERIAL_RANGE:
new_state = KRL_SECTION_CERT_SERIAL_RANGE;
state == KRL_SECTION_CERT_SERIAL_RANGE)) {
case KRL_SECTION_CERT_SERIAL_RANGE:
case KRL_SECTION_CERT_SERIAL_RANGE:
case KRL_SECTION_CERT_SERIAL_RANGE:
case KRL_SECTION_CERT_SERIAL_RANGE:
case KRL_SECTION_CERT_SERIAL_RANGE: