def utf8.check
import bend-kit-cbor@0.3.0.0/cbor.bend as Cborimport Base
208# Are bytes i until end well-formed UTF-8?
209def utf8.check(a: Array<U32>, +i: U32, +end: U32) -> Array<U32> & Bool:
210 utf8.go(U32.to_nat((end - i : U32)), (a, i, True{}), end)