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