def fuel

import bend-collections-laws-crypto@1.0.0.0/src/math/generic.bend as Generic

import Base

43# enough steps for every loop at 64 bits (Euclid < 1.5 w + 2, bit loops w)
44def fuel() -> Nat:
45  140n

Uses (1)