benchmark.h

// C file generated from benchmark.pvs

unsigned long int* pvs_init47(unsigned long int* A, int i, unsigned long int v);

unsigned long int* pvs_init_d48(unsigned long int* A, int i, unsigned long int v);

unsigned long int pvs_J73(int k);

unsigned long int pvs_J_d74(int k);

unsigned long int pvs_Z75(int x);

unsigned long int pvs_Z_d76(int x);

unsigned long int* pvs_T77();

unsigned long int* pvs_T_d78();

unsigned long int* pvs_insert85(unsigned long int* A, unsigned long int v, int i);

unsigned long int* pvs_insert_d86(unsigned long int* A, unsigned long int v, int i);

unsigned long int* pvs_insort_rec179(unsigned long int* A, int n);

unsigned long int* pvs_insort_rec_d180(unsigned long int* A, int n);

unsigned long int* pvs_insort183(unsigned long int* A);

unsigned long int* pvs_insort_d184(unsigned long int* A);

unsigned long int pvs_tsort187();

unsigned long int pvs_tsort_d188();

unsigned long int pvs_jsort189();

unsigned long int pvs_jsort_d190();