private class U16StringCharIterator
	super IndexedIterator[Char]

	var target: U16String

	var curr_pos: Int

	redef fun is_ok do return curr_pos < target.length

	redef fun item do return target[curr_pos]

	redef fun next do curr_pos += 1

	redef fun index do return curr_pos
end