do not ever cut unicode sequences in the middle -- use Zed_utf8 instead of String