#include <stdio.h>
#include "mpir.h"

int
main ()
{
  printf ("mpir version: %s\n", mpir_version);
  return 0;
}