arrays.h

// C file generated from arrays.pvs

void pvs_b2157(mpz_t result, int x);

void pvs_d_b2158(mpz_t result, int x);

mpz_t* pvs_getb2159(int a);

mpz_t* pvs_d_getb2160(int a);

mpz_t* pvs_id2165(mpz_t* t56181);

mpz_t* pvs_d_id2166(mpz_t* t56181);

mpz_t* pvs_id22171(mpz_t* t56181);

mpz_t* pvs_d_id22172(mpz_t* t56181);

mpz_t* pvs_incr2177(mpz_t* t56181);

mpz_t* pvs_d_incr2178(mpz_t* t56181);

mpz_t* pvs_decr2188(mpz_t* t56181);

mpz_t* pvs_d_decr2189(mpz_t* t56181);

mpz_t* pvs_sum2196(mpz_t* T, mpz_t* U);

mpz_t* pvs_d_sum2197(mpz_t* T, mpz_t* U);

mpz_t* pvs_foo2202(mpz_t* t56181);

mpz_t* pvs_d_foo2203(mpz_t* t56181);

int** pvs_bar2216(int** t56181);

int** pvs_d_bar2217(int** t56181);

mpz_t* pvs_test2248(mpz_t* t56181);

mpz_t* pvs_d_test2249(mpz_t* t56181);

mpz_t** pvs_set02262(mpz_t** t56181, int x, int y);

mpz_t** pvs_d_set02263(mpz_t** t56181, int x, int y);