def gf128.mask
import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128import Base
81# all ones if the low bit of b is set, else 0
82def gf128.mask(b: U32) -> U32:
83 U32.sub(0, U32.and(b, 1))
import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128import Base
81# all ones if the low bit of b is set, else 0
82def gf128.mask(b: U32) -> U32:
83 U32.sub(0, U32.and(b, 1))