/cvs/src/gnu/lib/libgmp/mpn/ns32k
