Base · base.bend:2699
import Base
2699def Map.diff.chr(x: U32) -> Nat: 2700 Nat.sub(33n, Map.msb.u(32n, x))