E's chars are standard 16-bit unicode characters. Character literals
are written just as in Java, a single quote, a character specifier (***what's
the name for this***) and a closing single quote. The character
specifier can be a single non-special character, or a backslash followed
by an escape sequence.