#include <gmp.h>
#ifndef __GMP_H__
#error "No GMP header"
#endif

void test(void) {
	__gmp_init();
}