/gmp-mparam.h/1.1.1.3/Tue Aug 22 09:40:49 2017//Tnetbsd-10 D