#include <math.h>

#include <stddef.h>

#include <stdint.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_Main_0_23225c6b2d15328585f210dc2f989269e95d08ee(int x) {
 return x + 3; 
}


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


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


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


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


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


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


ptrdiff_t inline_c_Main_7_4475cd73db749194709e394483ff3e5205688ff8(ptrdiff_t x_inline_c_0) {
 char a[2]; return &a[1] - &a[0] + x_inline_c_0; 
}


size_t inline_c_Main_8_9782c357435fb488c3166bf10e839da13328001e() {
return ( sizeof (char) );
}


uintmax_t inline_c_Main_9_c0df91f70bbf1f85671339d1bdc524414e112cc2() {
return ( UINTMAX_MAX );
}


int16_t inline_c_Main_10_9e29ba00e56a81c765067e09a3136fa5232d49a0(int16_t x_inline_c_0) {
return ( 1 + x_inline_c_0 );
}


uint32_t inline_c_Main_11_08a42fa8f755a36db897898b73bb7aab5b1b58e1(uint32_t y_inline_c_0) {
return ( y_inline_c_0 * 7 );
}


int inline_c_Main_12_4ffe4d055df0966eedc85f08247aa8880402694a(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_Main_13_7e6957a671db751a0a5b5e9721b3c45002fab68f())(int , int ) {
return ( &francescos_add );
}


int inline_c_Main_14_55555bbb777d25d03fef0a6d6ce9193474a74a35(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_Main_15_4ffe4d055df0966eedc85f08247aa8880402694a(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_Main_16_b7d965842e65c49fcc08b03f70454988290e61e4(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_Main_17_5dce1654ef6186acdb189a6ce36f0a66660eb346(double (* fun_inline_c_0)(double )) {
return ( fun_inline_c_0(3.0) );
}


int inline_c_Main_18_8d0f093895f51773152915c33b75c7aafd8f4f45(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_Main_19_62ce8aade5e693f134c6a5c9add3523edab1a63e(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_Main_20_75f1401fb8545756b6d329a5352a252bf52db946(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;
        
}


int inline_c_Main_21_6fa3d382d3ab7f6d57eec7fbfe64e87fbc2a0ca9(int x_27_inline_c_0) {
return ( x_27_inline_c_0 );
}


int inline_c_Main_22_dbf060cb8fa2b86c6c6838ef9b645ac20f38ba79(int _e4_inline_c_0) {
return ( _e4_inline_c_0 );
}


int inline_c_Main_23_2421969c444755bea2c6f2060e0921ce7f3d16d7(int PreludemaxBound_2e_inline_c_0) {
return ( PreludemaxBound_2e_inline_c_0 );
}