>>>>> "Kaveh" == Kaveh R GHAZI <ghazi@caip.rutgers.edu> writes: Kaveh> + mpfr_free_cache (); Why not just add a valgrind suppression for this? There's little point in freeing things just before exit. Tom