../mpn/generic/binvert.c