case_single_character  265 src/casefiddle.c   int cased = case_single_character (ctx, ch);
case_single_character  331 src/casefiddle.c       cased = case_single_character (ctx, ch);
case_single_character  446 src/casefiddle.c       int cased = case_single_character (ctx, ch);