Presumably more efficient way of obtaining the UTF8-encoded length.