skip_number
if ((s1 = skip_number(s), s1 != s) && *s1 == ':') s = skip_space(s1 + 1);
} else if ((s1 = skip_number(s)) != s) {
static char *skip_number(char *s);