Minix2.0/src/lib/ansi/isxdigit.c

#include	<ctype.h>

int (isxdigit)(int c) {
	return isxdigit(c);
}