#if defined (__cplusplus)
extern "C" {
#ifdef _GMP_H_HAVE_FILE
#include <cstdio>
using std::FILE;
#endif