gmp/mpn/a29k
