bignum_ior       1214 src/bignum.c               z = bignum_ior(make_bignum(zsize), x, y, minsize, xsize, ysize);
bignum_ior       1218 src/bignum.c               z = bignum_ior(make_bignum(ysize), x, yy, minsize, 0, ysize);
bignum_ior       1226 src/bignum.c               z = bignum_ior(make_bignum(xsize), xx, y, minsize, xsize, 0);
bignum_ior       1233 src/bignum.c               z = bignum_ior(make_bignum(minsize), xx, yy, minsize, 0, 0);