bset_upcase_table 1111 src/buffer.c     bset_upcase_table (b, XCHAR_TABLE (Vascii_downcase_table)->extras[0]);
bset_upcase_table 4663 src/buffer.c     bset_upcase_table (&buffer_local_flags, make_fixnum (0));
bset_upcase_table  161 src/casetab.c        bset_upcase_table (current_buffer, up);