def count_hi

import bend-collections@1.0.0.0/src/crypto/blake/blake2s/blake2s.bend as Blake2s

import Base

12def count_hi(+lo: U32, hi: U32, +n: U32) -> U32:
13  carry(U32.is_lt(U32.add(lo,n),n),hi)

Uses (4)