def zb
import lawful-bytes@0.1.1.0/fast.bend as Fastimport Base
11# 0x80 at each byte of v that is 0, exact at the lowest such byte (a byte
12# above a 0 byte may be flagged too).
13def zb(+v: U32) -> U32:
14 ((v - 16843009 : U32) .&. (U32.not(v) .&. 2155905152 : U32) : U32)