def utf8.push
import bend-kit-encoding@0.5.0.0/encoding.bend as Encodingimport Base
54def utf8.push(+c: U32, o: Out, ascii: Bool) -> Out:
55 match ascii:
56 case True{}:
57 put(o, c)
58 case False{}:
59 utf8.push2(c, o, U32.is_lt(c, 2048))