core :: Codec :: add_char_to
c to bytes sReturns the number of bytes written to s
	# Adds a char `c` to bytes `s`
	#
	# Returns the number of bytes written to `s`
	fun add_char_to(c: Char, s: CString): Int is abstract
					lib/core/codecs/codec_base.nit:35,2--38,54
				
	redef fun add_char_to(c, stream) do
		c.u8char_tos(stream, c.u8char_len)
		return c.u8char_len
	end
					lib/core/codecs/utf8.nit:38,2--41,4
				
	redef fun add_char_to(c, stream) do
		var cp = if c.code_point <= 255 then c else '?'
		stream[0] = cp.code_point
		return 1
	end
					lib/core/codecs/iso8859_1.nit:36,2--40,4