Minix2.0/src/lib/ansi/isxdigit.c
#include <ctype.h> int (isxdigit)(int c) { return isxdigit(c); }