def zero_count

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha512.bend as Sha512

import Base

165def zero_count(+r: Nat) -> Nat:
166  zero_count_if(r, Nat.is_le(r, 111n))

Uses (3)