def w.n617
import bend-kit-tty@0.1.0.1/width.bend as Widthimport Base
4322def w.n617(lt: Bool, +c: U32) -> U32:
4323 match lt:
4324 case True{}:
4325 w.n613(U32.is_lt(c, 70070), c)
4326 case False{}:
4327 w.n616(U32.is_lt(c, 70095), c)