VVERSION
} else if (c == edchars.eof && state != VVERSION) {
if (state == VVERSION) {
case VVERSION:
return VVERSION;