def w.n401
import bend-kit-tty@0.1.0.1/width.bend as Widthimport Base
2810def w.n401(lt: Bool, +c: U32) -> U32:
2811 match lt:
2812 case True{}:
2813 w.n385(U32.is_lt(c, 9917), c)
2814 case False{}:
2815 w.n400(U32.is_lt(c, 9981), c)