const GMP_VERSION: c_int = 6;
const GMP_VERSION_MINOR: c_int = 3;
const GMP_VERSION_PATCHLEVEL: c_int = 0;
const GMP_LIMB_BITS: c_int = 64;
const GMP_NAIL_BITS: c_int = 0;
type GMP_LIMB_T = c_ulong;
const GMP_CC: *const c_char = b"gcc\0".as_ptr().cast();
const GMP_CFLAGS: *const c_char = b"-O2 -I/usr/pkg/include\0".as_ptr().cast();
