/aorsmul_1.asm/1.1.1.2/Wed Aug 23 03:01:05 2017//
/gmp-mparam.h/1.1.1.2/Wed Aug 23 03:01:05 2017//
/mul_basecase.asm/1.1.1.2/Wed Aug 23 03:01:05 2017//
D