extern void *__builtin___memcpy_chk(void *, void *, unsigned int, unsigned int);

extern void *__builtin___memmove_chk(void *, void *, unsigned int, unsigned int);

extern void *__builtin___mempcpy_chk(void *, void *, unsigned int, unsigned int);

extern void *__builtin___memset_chk(void *, int, unsigned int, unsigned int);

extern unsigned char *__builtin___stpcpy_chk(unsigned char *, unsigned char *, unsigned int);

extern unsigned char *__builtin___strcat_chk(unsigned char *, unsigned char *, unsigned int);

extern unsigned char *__builtin___strcpy_chk(unsigned char *, unsigned char *, unsigned int);

extern unsigned char *__builtin___strncat_chk(unsigned char *, unsigned char *, unsigned int, unsigned int);

extern unsigned char *__builtin___strncpy_chk(unsigned char *, unsigned char *, unsigned int, unsigned int);

extern int __builtin___vfprintf_chk(void *, int, unsigned char *, void *);

extern int __builtin___vprintf_chk(int, unsigned char *, void *);

extern int __builtin___vsnprintf_chk(unsigned char *, unsigned int, int, unsigned int, unsigned char *, void *);

extern int __builtin___vsprintf_chk(unsigned char *, int, unsigned int, unsigned char *, void *);

extern double __builtin_acos(double);

extern float __builtin_acosf(float);

extern double __builtin_acosl(double);

extern void *__builtin_alloca(unsigned int);

extern double __builtin_asin(double);

extern float __builtin_asinf(float);

extern double __builtin_asinl(double);

extern double __builtin_atan(double);

extern float __builtin_atanf(float);

extern double __builtin_atanl(double);

extern double __builtin_atan2(double, double);

extern float __builtin_atan2f(float, float);

extern double __builtin_atan2l(double, double);

extern double __builtin_ceil(double);

extern float __builtin_ceilf(float);

extern double __builtin_ceill(double);

extern double __builtin_cos(double);

extern float __builtin_cosf(float);

extern double __builtin_cosl(double);

extern double __builtin_cosh(double);

extern float __builtin_coshf(float);

extern double __builtin_coshl(double);

extern int __builtin_clz(unsigned int);

extern int __builtin_clzl(unsigned int);

extern int __builtin_clzll(unsigned int);

extern int __builtin_constant_p(int);

extern int __builtin_ctz(unsigned int);

extern int __builtin_ctzl(unsigned int);

extern int __builtin_ctzll(unsigned int);

extern double __builtin_exp(double);

extern float __builtin_expf(float);

extern double __builtin_expl(double);

extern int __builtin_expect(int, int);

extern double __builtin_fabs(double);

extern float __builtin_fabsf(float);

extern double __builtin_fabsl(double);

extern int __builtin_ffs(unsigned int);

extern int __builtin_ffsl(unsigned int);

extern int __builtin_ffsll(unsigned int);

extern void *__builtin_frame_address(unsigned int);

extern double __builtin_floor(double);

extern float __builtin_floorf(float);

extern double __builtin_floorl(double);

extern double __builtin_huge_val(void);

extern float __builtin_huge_valf(void);

extern double __builtin_huge_vall(void);

extern double __builtin_inf(void);

extern float __builtin_inff(void);

extern double __builtin_infl(void);

extern void *__builtin_memcpy(void *, void *, unsigned int);

extern void *__builtin_mempcpy(void *, void *, unsigned int);

extern double __builtin_fmod(double);

extern float __builtin_fmodf(float);

extern double __builtin_fmodl(double);

extern double __builtin_frexp(double, int *);

extern float __builtin_frexpf(float, int *);

extern double __builtin_frexpl(double, int *);

extern double __builtin_ldexp(double, int);

extern float __builtin_ldexpf(float, int);

extern double __builtin_ldexpl(double, int);

extern double __builtin_log(double);

extern float __builtin_logf(float);

extern double __builtin_logl(double);

extern double __builtin_log10(double);

extern float __builtin_log10f(float);

extern double __builtin_log10l(double);

extern float __builtin_modff(float, float *);

extern double __builtin_modfl(double, double *);

extern double __builtin_nan(unsigned char *);

extern float __builtin_nanf(unsigned char *);

extern double __builtin_nanl(unsigned char *);

extern double __builtin_nans(unsigned char *);

extern float __builtin_nansf(unsigned char *);

extern double __builtin_nansl(unsigned char *);

extern void *__builtin_next_arg(void);

extern unsigned int __builtin_object_size(void *, int);

extern int __builtin_parity(unsigned int);

extern int __builtin_parityl(unsigned int);

extern int __builtin_parityll(unsigned int);

extern int __builtin_popcount(unsigned int);

extern int __builtin_popcountl(unsigned int);

extern int __builtin_popcountll(unsigned int);

extern double __builtin_powi(double, int);

extern float __builtin_powif(float, int);

extern double __builtin_powil(double, int);

extern void __builtin_return(void *);

extern void *__builtin_return_address(unsigned int);

extern double __builtin_sin(double);

extern float __builtin_sinf(float);

extern double __builtin_sinl(double);

extern double __builtin_sinh(double);

extern float __builtin_sinhf(float);

extern double __builtin_sinhl(double);

extern double __builtin_sqrt(double);

extern float __builtin_sqrtf(float);

extern double __builtin_sqrtl(double);

extern unsigned char *__builtin_stpcpy(unsigned char *, unsigned char *);

extern unsigned char *__builtin_strchr(unsigned char *, unsigned char);

extern int __builtin_strcmp(unsigned char *, unsigned char *);

extern unsigned char *__builtin_strcpy(unsigned char *, unsigned char *);

extern unsigned int __builtin_strcspn(unsigned char *, unsigned char *);

extern unsigned char *__builtin_strncat(unsigned char *, unsigned char *, unsigned int);

extern int __builtin_strncmp(unsigned char *, unsigned char *, unsigned int);

extern unsigned char *__builtin_strncpy(unsigned char *, unsigned char *, unsigned int);

extern int __builtin_strspn(unsigned char *, unsigned char *);

extern unsigned char *__builtin_strpbrk(unsigned char *, unsigned char *);

extern int __builtin_types_compatible_p(unsigned int, unsigned int);

extern double __builtin_tan(double);

extern float __builtin_tanf(float);

extern double __builtin_tanl(double);

extern double __builtin_tanh(double);

extern float __builtin_tanhf(float);

extern double __builtin_tanhl(double);

extern void __builtin_va_end(void *);

extern void __builtin_varargs_start(void *);

extern void __builtin_va_start(void *, void *);

extern void __builtin_stdarg_start(void *);

extern void __builtin_va_arg(void *, unsigned int);

extern void __builtin_va_copy(void *, void *);

int for_2(int a, int b)
{
  int i;
  int min;
  int max;
  int pas;
  int resul;
  c9:
  resul = 0;
  c8:
  min = a * 2;
  c7:
  max = a * 4;
  c6:
  pas = b + 1;
  c5:
  for (({ c4: i = min; }); (/* c3 */ i < max); ({ c2: i = i + pas; })) {
    c1:
    resul = resul + i;
  }
  c0:
  return resul + 1;
}

int for_loopParalAsync(int a, int b, int c)
{
  int i;
  int j;
  int x;
  int y;
  int z;
  c29:
  x = 0;
  c28:
  a = 0;
  c27:
  a = a + 3;
  c26:
  a = a * 2;
  c25:
  a = a / 3;
  c24:
  a = a + 8;
  c23:
  for (({ c22: i = 0; }); (/* c21 */ i < 20); ({ c20: i = i + 1; })) {
    c19:
    x = x + 1;
    c18:
    b = b + 2;
    c17:
    y = b / x;
  }
  c16:
  for (({ c15: j = 1; }); (/* c14 */ j < a); ({ c13: j = j + 1; })) {
    c12:
    c = c * 2;
    c11:
    z = c / j;
  }
  c10:
  return x;
}

int for_double(int pas)
{
  int i;
  int j;
  int result;
  int a;
  int b;
  c43:
  a = 0;
  c42:
  b = 0;
  c41:
  for (({ c40: i = 0; }); (/* c39 */ i < 12); ({ c38: i = i + pas; })) {
    c37:
    a = a + i;
  }
  c36:
  for (({ c35: j = 0; }); (/* c34 */ j < 5); ({ c33: j = j + pas; })) {
    c32:
    b = b + j;
  }
  c31:
  result = a * b;
  c30:
  return result;
}

int for_ex(int b, int e, int pas)
{
  int i;
  int res;
  c50:
  res = 0;
  c49:
  for (({ c48:
       i = b + 3; });
       (/* c47 */
       i <= e * 2);
       ({ c46:
       i = i + pas; })) {
    c45:
    res = res - i;
  }
  c44:
  return res;
}

int for_fortSimple(int a, int b, int pas)
{
  int res;
  int i;
  int sortie;
  int c;
  c58:
  res = 0;
  c57:
  for (({ c56: i = a; }); (/* c55 */ i < b); ({ c54: i = i + pas; })) {
    c53:
    res = res + i;
  }
  c52:
  sortie = res + a;
  c51:
  return sortie;
}

int for_imbriq(int pas1, int pas2)
{
  int i;
  int j;
  int a;
  int b;
  c71:
  a = 0;
  c70:
  for (({ c69: i = 0; }); (/* c68 */ i < 23); ({ c67: i = i + pas1; })) {
    c66:
    b = 0;
    c65:
    for (({ c64: j = 1; }); (/* c63 */ j < 12); ({ c62: j = j + pas2; })) {
      c61:
      a = a + b;
      c60:
      b = b % j;
    }
  }
  c59:
  return a;
}

int for_incr(int b, int e)
{
  int i;
  int res;
  c78:
  res = 0;
  c77:
  for (({ c76:
       i = b + 3; });
       (/* c75 */
       i <= e * 2);
       ({ c74:
       i = i + 1; })) {
    c73:
    res = res - i;
  }
  c72:
  return res;
}

int for_incrParam(int a, int b)
{
  int i;
  int z;
  int c;
  c86:
  z = a + b;
  c85:
  c = 3 * z;
  c84:
  for (({ c83: i = z - 4; }); (/* c82 */ i < b + 6); ({ c81: i = i + a; })) {
    c80:
    i = (i + z) + a;
  }
  c79:
  return i;
}

int for_forfor(void)
{
  int i;
  int j;
  c94:
  for (({ c93:
       i = 0; }), ({ c92:
       j = 0; });
       (/* c91 */
       i < 10);
       ({ c90:
       i = i + 1; })) {
    c89:
    j = j + 1;
    c88:
    j = j + 1;
  }
  c87:
  return j;
}

int main(void)
{
  int a;
  c104:
  a = for_2(3, 1);
  c103:
  a = for_loopParalAsync(1, 2, 3);
  c102:
  a = for_double(1);
  c101:
  a = for_ex(2, 10, 1);
  c100:
  a = for_fortSimple(2, 10, 1);
  c99:
  a = for_imbriq(2, 3);
  c98:
  a = for_incr(2, 3);
  c97:
  a = for_incrParam(2, 3);
  c96:
  a = for_forfor();
  c95:
  return a;
}