redef fun decode_char(b) do
		var c = b.char_at(0)
		var cp = c.code_point
		if cp >= 0xD800 and cp <= 0xDFFF then return 0xFFFD.code_point
		if cp == 0xFFFE or cp == 0xFFFF then return 0xFFFD.code_point
		return c
	end

	redef fun decode_char(b) do
		return b[0].to_i.code_point
	end