#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_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") ;
}


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


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


uintmax_t inline_c_8_da095360497f4bbf3922f50d0b0548c2dd7cbed9() {
return ( UINTMAX_MAX );
}


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


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


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


int inline_c_13_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_14_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_15_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_16_05403b76080812d04e00ce2b31b2068dad1b2342(double (* fun_inline_c_0)(double )) {
return ( fun_inline_c_0(3.0) );
}


int inline_c_17_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_18_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_19_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;
        
}