def utf8.three
import ezx@1.11.0.0/src/share/sha.bend as Shaimport Base
96def utf8.three(+code: U32) -> String:
97 SCon{utf8.byte((224 .|. U32.shrn(code, 12n) : U32)),
98 SCon{utf8.byte((128 .|. (U32.shrn(code, 6n) .&. 63 : U32) : U32)),
99 SCon{utf8.byte((128 .|. (code .&. 63 : U32) : U32)), SNil{}}}}