put_char(Stream, Char) writes Char in the output stream Stream, respecting its encoding. If Char cannot be represented using said encoding, put_char will raise an exception.