pub type gmp_randstate_t = [__gmp_randstate_struct; 1];