Introduced the function ByteStringUTF8.decode.