int jmp_gmp=0;
#define GMP_EXTERN
#define GMP_EXTERN_INLINE
#include "include.h"