def w.n672
import bend-kit-tty@0.1.0.1/width.bend as Widthimport Base
4707def w.n672(lt: Bool, +c: U32) -> U32:
4708 match lt:
4709 case True{}:
4710 w.n668(U32.is_lt(c, 70850), c)
4711 case False{}:
4712 w.n671(U32.is_lt(c, 71100), c)