ASSERT_LEN       4059 bignum.c       	ASSERT_LEN();
ASSERT_LEN       4136 bignum.c       	ASSERT_LEN();