SCM_CHARSET_XDIGIT  825 src/char.c                 return Scm_GetStandardCharSet(SCM_CHARSET_XDIGIT);
SCM_CHARSET_XDIGIT  866 src/char.c             if (isxdigit(code)) MASK_SET(CS(SCM_CHARSET_XDIGIT), code);
SCM_CHARSET_XDIGIT  928 src/gauche.h       SCM_CHARSET_XDIGIT,