read_charset_xdigits  707 src/char.c                     ch = read_charset_xdigits(input, 2, 'x'); goto ordchar;
read_charset_xdigits  709 src/char.c                     ch = Scm_UcsToChar(read_charset_xdigits(input, 4, 'u'));
read_charset_xdigits  712 src/char.c                     ch = Scm_UcsToChar(read_charset_xdigits(input, 8, 'U'));