Code is the character code comprising the printed representation of Char.
The char whose code is Code.
The code corresponding to Char.
Initially, at least one argument must be instantiated.
Char and Code are both uninstantiated
Char is not a char or Code is not an integer.
Code is not a code.