def fin_g
import bend-collections-laws-crypto@1.0.0.0/proofs/math/typed/w64mul.bend as W64mulimport Base
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as WU
248def fin_g(+ll: U32, +mid: U32, +hh: U32, mc: Bool, +c: U32) -> WU.U64:
249 X.add_fin(U32.add(ll, U32.mul(mid, c)), ll, hh, U32.add(U32.div(mid, c), U32.mul(X.b32(mc), c)))