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