gmp/mpn/thumb
