1#include <mpfr.h>
2
3int main() {
4 mpfr_t x;
5 mpfr_init(x);
6 mpfr_clear(x);
7 return 0;
8}
9

source code of libc/utils/MPFRWrapper/check_mpfr.cpp