gmp/mpn/arm
