1#include <mpc.h>
2
3int main() {
4 mpc_t x;
5 mpc_init2(x, 256);
6 mpc_clear(x);
7 return 0;
8}
9

source code of libc/utils/MPCWrapper/check_mpc.cpp