def hex4.fin
import cswap-bend-cli@0.1.0.0/json/lex.bend as Leximport Base
146def hex4.fin(+a: U32, +b: U32, +c: U32, +d: U32) -> U32:
147 sel(U32.is_lt(a, 16) && U32.is_lt(b, 16) && U32.is_lt(c, 16) && U32.is_lt(d, 16),
148 (a * 4096 + b * 256 + c * 16 + d : U32), 65533)