/patch-aa/1.1/Thu Jun 30 16:31:47 2005//
/patch-ab/1.1/Thu Jun 30 16:31:47 2005//
/patch-ac/1.3/Wed Aug 17 15:31:52 2005//
/patch-ad/1.1/Tue Nov  8 15:59:39 2005//
/patch-src_bignum.c/1.1/Fri May 22 01:23:42 2020//
D