void DESTROY(mpfr_t * p) {
     mpfr_clear(*p);
     Safefree(p);
}

##</code><code>##

void DESTROY(mpfr_t * p) {
     Safefree(p);
}