inline-c-0.5.2.0: test/tests.c

#include <math.h>

#include <stdio.h>


int francescos_mul(int x, int y) {
  return x * y;
}


 int francescos_add(int x, int y) { int z = x + y; return z; } 

int inline_c_0_af51326c4d54f2333cd5e65d63fa1335afd44e7f(int x) {
 return x + 3; 
}


int inline_c_1_7ac34f446e8519c3b967b9fafdc79c95552f35e4() {
return ( 1 + 4 );
}


int inline_c_2_16f19661d53c3abae15931d85a5e2829ecb039aa(int x_inline_c_0, int y_inline_c_1) {
return ( x_inline_c_0 + y_inline_c_1 + 5 );
}


int inline_c_3_40bee96de703884c6b206e411631395b9aef5976(int x_inline_c_0, int y_inline_c_1) {
return ( x_inline_c_0 + 10 + y_inline_c_1 );
}


int inline_c_4_e6943496092d6a4a410b30efda2403f1340ee8cc(int x_inline_c_0, int y_inline_c_1) {
return ( 7 + x_inline_c_0 + y_inline_c_1 );
}


void inline_c_5_bbad659b194c6226bc20ec8262bc1c599dddeb28() {
 printf("Hello\n") ;
}


int inline_c_6_71dfd9b850f6e2091e021139a58b74df94cd7303(int (* ackermannPtr_inline_c_0)(int , int ), int x_inline_c_1, int y_inline_c_2) {
return ( ackermannPtr_inline_c_0(x_inline_c_1, y_inline_c_2) );
}


int (* inline_c_7_7e6957a671db751a0a5b5e9721b3c45002fab68f())(int , int ) {
return ( &francescos_add );
}


int inline_c_8_b58cd0af8a50791fe277023774ffe88ee7e037bd(int (* ackermann__inline_c_0)(int , int ), int x_inline_c_1, int y_inline_c_2) {
return ( ackermann__inline_c_0(x_inline_c_1, y_inline_c_2) );
}


int inline_c_9_71dfd9b850f6e2091e021139a58b74df94cd7303(int (* ackermannPtr_inline_c_0)(int , int ), int x_inline_c_1, int y_inline_c_2) {
return ( ackermannPtr_inline_c_0(x_inline_c_1, y_inline_c_2) );
}


int inline_c_10_8ef64f450bca60833a113574529facc22cb4a0a0(int (* ackermann_inline_c_0)(int , int ), int x_inline_c_1, int y_inline_c_2) {
return ( ackermann_inline_c_0(x_inline_c_1, y_inline_c_2) );
}


double inline_c_11_05403b76080812d04e00ce2b31b2068dad1b2342(double (* fun_inline_c_0)(double )) {
return ( fun_inline_c_0(3.0) );
}


int inline_c_12_963ff572b13b7aaee0f9f8092a567eb35a8c2088(int n_inline_c_0, int * ptr_inline_c_1) {

        int i;
        int x = 0;
        for (i = 0; i < n_inline_c_0; i++) {
          x += ptr_inline_c_1[i];
        }
        return x;
      
}


int inline_c_13_e2ee2f14cc17b81ea1e818bb96b23439a1810c23(long vec_inline_c_0, int * vec_inline_c_1) {

        int i;
        int x = 0;
        for (i = 0; i < vec_inline_c_0; i++) {
          x += vec_inline_c_1[i];
        }
        return x;
      
}


int inline_c_14_17d13d6f2f87c2401476aaf41e06593689723baf(long bs_inline_c_0, char * bs_inline_c_1) {

          int i, bits = 0;
          for (i = 0; i < bs_inline_c_0; i++) {
            char ch = bs_inline_c_1[i];
            bits += (ch * 01001001001ULL & 042104210421ULL) % 017;
          }
          return bits;
        
}