Similar to put_char/1,
but using a character code. Code must be a valid
Unicode code point; lone UTF-16 surrogates (0xD800...0xDFFF)
are rejected, see
section 2.18. Note
that this may also raise an exception if the encoding of the output
stream cannot represent Code.