#include <stdio.h>

#include "util.h"

mpz_t p;

void str_test()
{
	gmp_printf("%Zd\n", p);
}

void mpz_new()
{
	mpz_init_set_si(p, 1);
}