def utf8.push4
import bend-kit-encoding@0.5.0.0/encoding.bend as Encodingimport Base
37def utf8.push4(+c: U32, o: Out) -> Out:
38 put(put(put(put(o, (240 + U32.shrn(c, 18n) : U32)), utf8.cont(c, 12n)), utf8.cont(c, 6n)), utf8.cont(c, 0n))
import bend-kit-encoding@0.5.0.0/encoding.bend as Encodingimport Base
37def utf8.push4(+c: U32, o: Out) -> Out:
38 put(put(put(put(o, (240 + U32.shrn(c, 18n) : U32)), utf8.cont(c, 12n)), utf8.cont(c, 6n)), utf8.cont(c, 0n))