#include "wchar.h"
#include "wctype.h"

int iswxdigit_l (wint_t c, locale_t l)
{
    return iswxdigit(c);
}