use Inline C => <<'EOC';
#include <mpfr.h>

void foo(mpfr_t * x) {
  mpfr_out_str(*x, .......);
}

EOC