test.h

// C file generated from test.pvs

void pvs_adda47(mpz_t result, mpz_t i);

void pvs_adda_d48(mpz_t result, mpz_t i);

void pvs_f49(mpz_t result, int a, int b);

void pvs_f_d50(mpz_t result, int a, int b);

void pvs_incr51(mpz_t result, mpz_t x);

void pvs_incr_d52(mpz_t result, mpz_t x);

void pvs_norm53(mpz_t result, mpz_t x, mpz_t y);

void pvs_norm_d54(mpz_t result, mpz_t x, mpz_t y);

void pvs_g59(mpz_t result, int a);

void pvs_g_d60(mpz_t result, int a);

int pvs_b61();

int pvs_b_d62();

int pvs_bar63(mpz_t n);

int pvs_bar_d64(mpz_t n);

void pvs_foo77(mpz_t result, mpz_t x);

void pvs_foo_d78(mpz_t result, mpz_t x);

void pvs_add283(mpz_t result, mpz_t a);

void pvs_add2_d84(mpz_t result, mpz_t a);

void pvs_f91(mpz_t result, mpz_t x);

void pvs_f_d92(mpz_t result, mpz_t x);

void pvs_factorial93(mpz_t result, mpz_t n);

void pvs_factorial_d94(mpz_t result, mpz_t n);