Can you say more about why `len_utf8` and `len_utf16` seem odd?