def hv
import cswap-bend-cli@0.1.0.0/json/lex.bend as Leximport Base
130def hv(+c: U32) -> U32:
131 sel(U32.is_ge(c, 48) && U32.is_le(c, 57), (c - 48 : U32),
132 sel(U32.is_ge(c, 97) && U32.is_le(c, 102), (c - 87 : U32),
133 sel(U32.is_ge(c, 65) && U32.is_le(c, 70), (c - 55 : U32), 99)))