//proc/self/root/usr/include/gmpxx.h