#include <ctype.h>

int isxdigit_l(int c, locale_t l)
{
	return isxdigit(c);
}