gmp/mpn/hppa
