def code_bytes
import cli@0.2.0.0/cli.bend as Cliimport Base
8007def code_bytes(ascii: Bool, escape: Bool, scalar: Bool, +x: U32) ->
8008 List<&2, U32>:
8009 match ascii escape scalar:
8010 case True{} _ _: [x]
8011 case False{} True{} _: [(x - 56320 : U32)]
8012 case False{} False{} True{}:
8013 utf8_bytes(U32.is_lt(x, 2048), U32.is_lt(x, 65536), x)
8014 case False{} False{} False{}: [239, 191, 189]