def w.n400
import bend-kit-tty@0.1.0.1/width.bend as Widthimport Base
2803def w.n400(lt: Bool, +c: U32) -> U32:
2804 match lt:
2805 case True{}:
2806 w.n392(U32.is_lt(c, 9973), c)
2807 case False{}:
2808 w.n399(U32.is_lt(c, 9994), c)