/gnu/lib/libgmp/mpn/z8000x/