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


"if_jian" (a, b, c, d, e, f, g, x, y) : int -> int -> int -> int -> int -> int -> int -> int -> int -> int {

  stack 0;

  var u, v, t1, t2, t3, t4, t5;

  c15:
  t1 = (a + b) < c;
  c14:
  t2 = d + e;
  c13:
  t3 = c + 1;
  c12:
  if (y == 1) {
    c11:
    if (t1) {
      c10:
      u = t3 + d;
    }
    else {
      c9:
      if (!x) {
        c8:
        u = t2 + d;
      }
      else {
      }
    }
    c7:
    if ((/* c6 */ !t1) ? ((/* c5 */ x) ? 1 : 0) : 0) {
      c4:
      v = t2 + e;
    }
    else {
    }
  }
  else {
    c3:
    t4 = t3 + e;
    c2:
    t5 = t4 + f;
    c1:
    u = t5 + g;
  }
  c0:
  return u;

}


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

  stack 0;

  var g, e, f;

  c23:
  if (a < b) {
    c22:
    e = a + b;
    c21:
    e = 2 * e;
    c20:
    g = e;
  }
  else {
    c19:
    f = 2 * b;
    c18:
    f = f + a;
    c17:
    g = f + b;
  }
  c16:
  return g;

}


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

  stack 0;

  var result;

  c29:
  if (a < b) {
    c28:
    if (b < c) {
      c27:
      result = b;
    }
    else {
      c26:
      result = c;
    }
  }
  else {
    c25:
    result = a;
  }
  c24:
  return result;

}


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

  stack 0;

  var result;

  c35:
  if (a < b) {
    c34:
    if (b < c) {
      c33:
      result = b;
    }
    else {
      c32:
      result = 47;
    }
  }
  else {
    c31:
    result = a;
  }
  c30:
  return result;

}


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

  stack 0;

  var min;

  c39:
  if (a > b) {
    c38:
    min = b;
  }
  else {
    c37:
    min = a;
  }
  c36:
  return min;

}


"if_prog" (j, i) : int -> int -> int {

  stack 0;

  var a, b;

  c44:
  a = i + j;
  c43:
  if (a < 0) {
    c42:
    b = 2;
  }
  else {
    c41:
    b = 3;
  }
  c40:
  return b;

}


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

  stack 0;

  var c;

  c48:
  c = 0;
  c47:
  if (a < b) {
    c46:
    c = a;
  }
  else {
  }
  c45:
  return c;

}


"if_test" (a, b, x, y) : int -> int -> int -> int -> int {

  stack 0;

  var c, d, v, w, z;

  c61:
  c = 0;
  c60:
  d = 0;
  c59:
  v = 0;
  c58:
  w = 0;
  c57:
  z = 0;
  c56:
  if (a < b) {
    c55:
    c = a + b;
  }
  else {
  }
  c54:
  if (x < y) {
    c53:
    z = x + y;
    c52:
    w = z + x;
  }
  else {
  }
  c51:
  d = c + 1;
  c50:
  v = c + w;
  c49:
  return c;

}


"if_ual" (op, a, b) : int -> int -> int -> int {

  stack 0;

  var result;

  c74:
  if (op == 0) {
    c73:
    result = a + b;
  }
  else {
    c72:
    if (op == 1) {
      c71:
      result = a - b;
    }
    else {
      c70:
      if (op == 2) {
        c69:
        result = (/* c68 */ a) ? ((/* c67 */ b) ? 1 : 0) : 0;
      }
      else {
        c66:
        if (op == 3) {
          c65:
          result = (/* c64 */ a) ? 1 : ((/* c63 */ b) ? 1 : 0);
        }
        else {
        }
      }
    }
  }
  c62:
  return result;

}


"main" () : int {

  stack 0;

  var a;

  c84:
  a = "if_jian"(1, 2, 3, 4, 5, 6, 7, 8, 9) : int -> int -> int -> int -> int -> int -> int -> int -> int -> int;
  c83:
  a = "if_exSimple"(1, 2) : int -> int -> int;
  c82:
  a = "if_imbriq1"(1, 2, 3) : int -> int -> int -> int;
  c81:
  a = "if_imbriq2"(1, 2, 3) : int -> int -> int -> int;
  c80:
  a = "if_min"(1, 2) : int -> int -> int;
  c79:
  a = "if_prog"(1, 2) : int -> int -> int;
  c78:
  a = "if_sansElse"(1, 2) : int -> int -> int;
  c77:
  a = "if_test"(1, 2, 3, 4) : int -> int -> int -> int -> int;
  c76:
  a = "if_ual"(1, 2, 3) : int -> int -> int -> int;
  c75:
  return a;

}