REPLACE_ISWDIGIT  347 maint/gnulib/lib/wctype.in.h #   if @REPLACE_ISWDIGIT@
REPLACE_ISWDIGIT  478 maint/gnulib/lib/wctype.in.h #   if @REPLACE_ISWDIGIT@
REPLACE_ISWDIGIT  553 maint/gnulib/lib/wctype.in.h # if @REPLACE_ISWDIGIT@