/*
 * Compile with
 *
 * gcc -Wall -o gmpt gmpt.c -lgmp
 */
#include <stdio.h>
#include <gmp.h>

int main(int argc, char *argv[])
{
	mpz_t i, db;
	mpz_inits(i, db, NULL);

	mpz_setbit(i, 128);
	gmp_printf("i =%Zd\n", i);

	mpz_setbit(db, 256);
	mpz_setbit(db, 129);
	gmp_printf("db=%Zd\n", db);

	return 0;

}