// -*- compile-command: "gcc -Wall -lgmp test_gmp_explicit_plus.c; ./a.out" -*-
#include <gmp.h>
#include <stdio.h>
#include <malloc.h>

int main()
{
  mpz_t integ;
  char* str;

  mpz_init(integ);
  mpz_set_str(integ, "+3", 0);
  str = mpz_get_str(NULL, 0, integ);
  printf("str=%s\n", str);
  free(str);
  return 0;
}