// Simple test program for gmp, used by mescal.
#include <gmp.h>
int main (int argc, char **argv) {
    mpz_t argument1;
    mpz_init (argument1);
    return 0;
}