REPLACE_ISWXDIGIT  427 maint/gnulib/lib/wctype.in.h #   if @REPLACE_ISWXDIGIT@
REPLACE_ISWXDIGIT  488 maint/gnulib/lib/wctype.in.h #   if @REPLACE_ISWXDIGIT@
REPLACE_ISWXDIGIT  590 maint/gnulib/lib/wctype.in.h # if @REPLACE_ISWXDIGIT@