def utf8.push3
import bend-kit-encoding@0.5.0.0/encoding.bend as Encodingimport Base
40def utf8.push3(+c: U32, o: Out, small: Bool) -> Out:
41 match small:
42 case True{}:
43 put(put(put(o, (224 + U32.shrn(c, 12n) : U32)), utf8.cont(c, 6n)), utf8.cont(c, 0n))
44 case False{}:
45 utf8.push4(c, o)