def hex4
import cswap-bend-cli@0.1.0.0/json/lex.bend as Leximport Base
150# The four hex digits at the head of s as a number; U+FFFD when malformed.
151def hex4(+s: String) -> U32:
152 hex4.fin(hv(cc(s, 0n)), hv(cc(s, 1n)), hv(cc(s, 2n)), hv(cc(s, 3n)))