VIRGIN
int byte = 0, state = VIRGIN, new = 0;
case VIRGIN | DIGIT:
state = VIRGIN; *cp++ = byte; byte = 0; continue;
case VIRGIN | END:
