#include_next <ctype.h>

#ifndef __ISHEXNUMBER__HEADER
#define __ISHEXNUMBER__HEADER
static int ishexnumber(char c) { return isxdigit(c); }
#endif
//    while (1) {
//        if (*c == '\0')
//            return 0;
//        if (isxdigit(*c) != 0)
//            return isxdigit(*c);
//        ++c;
//    }
//}
