**** char-charset, given a character code, returns the name of the character
set that the character belongs to. (The value is a symbol.)