static char *gmp_version = "2.0.1";