Make sure a 64-bit char is never passed to ENCODE_CHAR.