1#include <wctype.h>
2
3#undef iswdigit
4
5int iswdigit(wint_t wc) {
6    return (unsigned)wc - '0' < 10;
7}
8