C implementation of the probabilistic primality test by Miller and Rabin