pub type mpi_gen_prime_flag_t = u32;