extended-char, character, t
The type extended-char is equivalent to the type (and character (not base-char)).
(and character (not base-char))
The type extended-char might have no elements_4 in implementations in which all characters are of type base-char.