stri_enc_fromutf32 rewritten