../mpn/generic/random2.c