def rev.bits.run
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
2153def rev.bits.run(a: Array<U32>, +end: U32, bits: Bits) -> Rv:
2154 Bits{+sets, +at0, hit0, hit01, atn, hit1} = bits
2155 +limit = Bool.pick(U32, U32.is_lt(end, 4096), end, 4096)
2156 rev.bits.result(U32.is_le(end, 4096), rev.bits.walk(U32.to_nat(limit), RevBits{True{}, a, at0, None{}, True{}}, end, sets))