bigsub_int       5771 bignum.c       	    return bigsub_int(x, n);
bigsub_int       5805 bignum.c       	return bigsub_int(x, n);