Symbol: U8_PUT_3BYTES_INTO_UTF32