/*
Testprogram for mpz_printf
*/

#include <stdio.h>

#include <gmp.h>
#include <sys/timeb.h>
                                                                                
#define FALSE   0
#define TRUE    1
#define MAXVALUE32BIT	4294967295

int main(void)
{
	mpz_t	number, basis, factor, treshold;
	int	readReturn;
	unsigned long	ulexp;
	FILE	*fp;
	FILE	*fpFactor;

	mpz_init(treshold);
	mpz_init(number);
	mpz_init(basis);
	mpz_init(factor);

	printf("after init before mpz_ui_pow_ui\n");
	fflush(stdout);

	mpz_ui_pow_ui(number, 2, 25964951);

	printf("after mpz_ui_pow_ui before mpz_printf\n");
	fflush(stdout);
	
	printf("Mersenne Number 42 is:\n");
	gmp_printf("%Zd\n", number);

        printf("ENDE!\n");
	fflush(stdout);

	mpz_clear(factor);
	mpz_clear(basis);
	mpz_clear(number);
	mpz_clear(treshold);

	return(0);
}