def inf.head
import bend-kit-zlib@0.5.1.0/zlib.bend as Zlibimport Base
461# §3.2.3: BFINAL, then BTYPE.
462def inf.head(bv: Br & U32, o: Out) -> Is:
463 (b, +v) = bv
464 +t = U32.shr(v)
465 inf.t0(U32.is_zero(t), b, o, U32.is_eq(U32.and(v, 1), 1), t)