def w.n712
import bend-kit-tty@0.1.0.1/width.bend as Widthimport Base
4987def w.n712(lt: Bool, +c: U32) -> U32:
4988 match lt:
4989 case True{}:
4990 w.n696(U32.is_lt(c, 71350), c)
4991 case False{}:
4992 w.n711(U32.is_lt(c, 71997), c)