For testing, add a version of the mod-with-setup code that's visible outside bignum.c.