bset_downcase_table 1102 src/buffer.c     bset_downcase_table (b, Vascii_downcase_table);
bset_downcase_table 4654 src/buffer.c     bset_downcase_table (&buffer_local_flags, make_fixnum (0));
bset_downcase_table  160 src/casetab.c        bset_downcase_table (current_buffer, table);