extern "__builtin___memcpy_chk" : int -> int -> int -> int -> int


extern "__builtin___memmove_chk" : int -> int -> int -> int -> int


extern "__builtin___mempcpy_chk" : int -> int -> int -> int -> int


extern "__builtin___memset_chk" : int -> int -> int -> int -> int


extern "__builtin___stpcpy_chk" : int -> int -> int -> int


extern "__builtin___strcat_chk" : int -> int -> int -> int


extern "__builtin___strcpy_chk" : int -> int -> int -> int


extern "__builtin___strncat_chk" : int -> int -> int -> int -> int


extern "__builtin___strncpy_chk" : int -> int -> int -> int -> int


extern "__builtin___vfprintf_chk" : int -> int -> int -> int -> int


extern "__builtin___vprintf_chk" : int -> int -> int -> int


extern "__builtin___vsnprintf_chk" : int -> int -> int -> int -> int -> int -> int


extern "__builtin___vsprintf_chk" : int -> int -> int -> int -> int -> int


extern "__builtin_acos" : float -> float


extern "__builtin_acosf" : float -> float


extern "__builtin_acosl" : float -> float


extern "__builtin_alloca" : int -> int


extern "__builtin_asin" : float -> float


extern "__builtin_asinf" : float -> float


extern "__builtin_asinl" : float -> float


extern "__builtin_atan" : float -> float


extern "__builtin_atanf" : float -> float


extern "__builtin_atanl" : float -> float


extern "__builtin_atan2" : float -> float -> float


extern "__builtin_atan2f" : float -> float -> float


extern "__builtin_atan2l" : float -> float -> float


extern "__builtin_ceil" : float -> float


extern "__builtin_ceilf" : float -> float


extern "__builtin_ceill" : float -> float


extern "__builtin_cos" : float -> float


extern "__builtin_cosf" : float -> float


extern "__builtin_cosl" : float -> float


extern "__builtin_cosh" : float -> float


extern "__builtin_coshf" : float -> float


extern "__builtin_coshl" : float -> float


extern "__builtin_clz" : int -> int


extern "__builtin_clzl" : int -> int


extern "__builtin_clzll" : int -> int


extern "__builtin_constant_p" : int -> int


extern "__builtin_ctz" : int -> int


extern "__builtin_ctzl" : int -> int


extern "__builtin_ctzll" : int -> int


extern "__builtin_exp" : float -> float


extern "__builtin_expf" : float -> float


extern "__builtin_expl" : float -> float


extern "__builtin_expect" : int -> int -> int


extern "__builtin_fabs" : float -> float


extern "__builtin_fabsf" : float -> float


extern "__builtin_fabsl" : float -> float


extern "__builtin_ffs" : int -> int


extern "__builtin_ffsl" : int -> int


extern "__builtin_ffsll" : int -> int


extern "__builtin_frame_address" : int -> int


extern "__builtin_floor" : float -> float


extern "__builtin_floorf" : float -> float


extern "__builtin_floorl" : float -> float


extern "__builtin_huge_val" : float


extern "__builtin_huge_valf" : float


extern "__builtin_huge_vall" : float


extern "__builtin_inf" : float


extern "__builtin_inff" : float


extern "__builtin_infl" : float


extern "__builtin_memcpy" : int -> int -> int -> int


extern "__builtin_mempcpy" : int -> int -> int -> int


extern "__builtin_fmod" : float -> float


extern "__builtin_fmodf" : float -> float


extern "__builtin_fmodl" : float -> float


extern "__builtin_frexp" : float -> int -> float


extern "__builtin_frexpf" : float -> int -> float


extern "__builtin_frexpl" : float -> int -> float


extern "__builtin_ldexp" : float -> int -> float


extern "__builtin_ldexpf" : float -> int -> float


extern "__builtin_ldexpl" : float -> int -> float


extern "__builtin_log" : float -> float


extern "__builtin_logf" : float -> float


extern "__builtin_logl" : float -> float


extern "__builtin_log10" : float -> float


extern "__builtin_log10f" : float -> float


extern "__builtin_log10l" : float -> float


extern "__builtin_modff" : float -> int -> float


extern "__builtin_modfl" : float -> int -> float


extern "__builtin_nan" : int -> float


extern "__builtin_nanf" : int -> float


extern "__builtin_nanl" : int -> float


extern "__builtin_nans" : int -> float


extern "__builtin_nansf" : int -> float


extern "__builtin_nansl" : int -> float


extern "__builtin_next_arg" : int


extern "__builtin_object_size" : int -> int -> int


extern "__builtin_parity" : int -> int


extern "__builtin_parityl" : int -> int


extern "__builtin_parityll" : int -> int


extern "__builtin_popcount" : int -> int


extern "__builtin_popcountl" : int -> int


extern "__builtin_popcountll" : int -> int


extern "__builtin_powi" : float -> int -> float


extern "__builtin_powif" : float -> int -> float


extern "__builtin_powil" : float -> int -> float


extern "__builtin_return" : int -> void


extern "__builtin_return_address" : int -> int


extern "__builtin_sin" : float -> float


extern "__builtin_sinf" : float -> float


extern "__builtin_sinl" : float -> float


extern "__builtin_sinh" : float -> float


extern "__builtin_sinhf" : float -> float


extern "__builtin_sinhl" : float -> float


extern "__builtin_sqrt" : float -> float


extern "__builtin_sqrtf" : float -> float


extern "__builtin_sqrtl" : float -> float


extern "__builtin_stpcpy" : int -> int -> int


extern "__builtin_strchr" : int -> int -> int


extern "__builtin_strcmp" : int -> int -> int


extern "__builtin_strcpy" : int -> int -> int


extern "__builtin_strcspn" : int -> int -> int


extern "__builtin_strncat" : int -> int -> int -> int


extern "__builtin_strncmp" : int -> int -> int -> int


extern "__builtin_strncpy" : int -> int -> int -> int


extern "__builtin_strspn" : int -> int -> int


extern "__builtin_strpbrk" : int -> int -> int


extern "__builtin_types_compatible_p" : int -> int -> int


extern "__builtin_tan" : float -> float


extern "__builtin_tanf" : float -> float


extern "__builtin_tanl" : float -> float


extern "__builtin_tanh" : float -> float


extern "__builtin_tanhf" : float -> float


extern "__builtin_tanhl" : float -> float


extern "__builtin_va_end" : int -> void


extern "__builtin_varargs_start" : int -> void


extern "__builtin_va_start" : int -> int -> void


extern "__builtin_stdarg_start" : int -> void


extern "__builtin_va_arg" : int -> int -> void


extern "__builtin_va_copy" : int -> int -> void


"for_2" (a, b) : int -> int -> int {

  stack 0;

  var max, pas, i, resul, min;

  c9:
  resul = 0;
  c8:
  min = a * 2;
  c7:
  max = a * 4;
  c6:
  pas = b + 1;
  c5:
  c4:
  i = min;
  block {
    loop {
      if (!(/* c3 */ i < max)) {
        exit 0;
      }
      else {
      }
      block {
        c1:
        resul = resul + i;
      }
      c2:
      i = i + pas;
    }
  }
  c0:
  return resul + 1;

}


"for_loopParalAsync" (a, b, c) : int -> int -> int -> int {

  stack 0;

  var z, y, x, j, i;

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

}


"for_double" (pas) : int -> int {

  stack 0;

  var j, i, result, b, a;

  c43:
  a = 0;
  c42:
  b = 0;
  c41:
  c40:
  i = 0;
  block {
    loop {
      if (!(/* c39 */ i < 12)) {
        exit 0;
      }
      else {
      }
      block {
        c37:
        a = a + i;
      }
      c38:
      i = i + pas;
    }
  }
  c36:
  c35:
  j = 0;
  block {
    loop {
      if (!(/* c34 */ j < 5)) {
        exit 0;
      }
      else {
      }
      block {
        c32:
        b = b + j;
      }
      c33:
      j = j + pas;
    }
  }
  c31:
  result = a * b;
  c30:
  return result;

}


"for_ex" (b, e, pas) : int -> int -> int -> int {

  stack 0;

  var res, i;

  c50:
  res = 0;
  c49:
  c48:
  i = b + 3;
  block {
    loop {
      if (!(/* c47 */ i <= (e * 2))) {
        exit 0;
      }
      else {
      }
      block {
        c45:
        res = res - i;
      }
      c46:
      i = i + pas;
    }
  }
  c44:
  return res;

}


"for_fortSimple" (a, b, pas) : int -> int -> int -> int {

  stack 0;

  var res, sortie, i, c;

  c58:
  res = 0;
  c57:
  c56:
  i = a;
  block {
    loop {
      if (!(/* c55 */ i < b)) {
        exit 0;
      }
      else {
      }
      block {
        c53:
        res = res + i;
      }
      c54:
      i = i + pas;
    }
  }
  c52:
  sortie = res + a;
  c51:
  return sortie;

}


"for_imbriq" (pas1, pas2) : int -> int -> int {

  stack 0;

  var j, i, b, a;

  c71:
  a = 0;
  c70:
  c69:
  i = 0;
  block {
    loop {
      if (!(/* c68 */ i < 23)) {
        exit 0;
      }
      else {
      }
      block {
        c66:
        b = 0;
        c65:
        c64:
        j = 1;
        block {
          loop {
            if (!(/* c63 */ j < 12)) {
              exit 0;
            }
            else {
            }
            block {
              c61:
              a = a + b;
              c60:
              b = b % j;
            }
            c62:
            j = j + pas2;
          }
        }
      }
      c67:
      i = i + pas1;
    }
  }
  c59:
  return a;

}


"for_incr" (b, e) : int -> int -> int {

  stack 0;

  var res, i;

  c78:
  res = 0;
  c77:
  c76:
  i = b + 3;
  block {
    loop {
      if (!(/* c75 */ i <= (e * 2))) {
        exit 0;
      }
      else {
      }
      block {
        c73:
        res = res - i;
      }
      c74:
      i = i + 1;
    }
  }
  c72:
  return res;

}


"for_incrParam" (a, b) : int -> int -> int {

  stack 0;

  var z, i, c;

  c86:
  z = a + b;
  c85:
  c = 3 * z;
  c84:
  c83:
  i = z - 4;
  block {
    loop {
      if (!(/* c82 */ i < (b + 6))) {
        exit 0;
      }
      else {
      }
      block {
        c80:
        i = (i + z) + a;
      }
      c81:
      i = i + a;
    }
  }
  c79:
  return i;

}


"for_forfor" () : int {

  stack 0;

  var j, i;

  c94:
  c93:
  i = 0;
  c92:
  j = 0;
  block {
    loop {
      if (!(/* c91 */ i < 10)) {
        exit 0;
      }
      else {
      }
      block {
        c89:
        j = j + 1;
        c88:
        j = j + 1;
      }
      c90:
      i = i + 1;
    }
  }
  c87:
  return j;

}


"main" () : int {

  stack 0;

  var a;

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

}