/* Increases a pointer while it points to a decimal digit character.  */
static char * goNum(char *str)
/* Increases a pointer while it points to a decimal digit character.  */
static char * goNum(char *str)
{
    for (; *str != '\0'; ++str)
    {
        if (!isdigit((int)(*str)))
            return str;
    }
    return 0;
}