VIRGIN
int byte = 0, state = VIRGIN, new;
case VIRGIN | DIGIT:
state = VIRGIN; *cp++ = byte; byte = 0; continue;
case VIRGIN | END:
int byte = 0, state = VIRGIN, new;
} else if (state == VIRGIN &&
case VIRGIN | DIGIT:
case VIRGIN | LETTER:
case VIRGIN | DELIM: