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 if_jian(int a, int b, int c, int d, int e, int f, int g, int x, int y)
{
  int u;
  int v;
  int t1;
  int t2;
  int t3;
  int t4;
  int 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;
      }
    }
    c7:
    if ((/* c6 */ !t1) && (/* c5 */ x)) {
      c4:
      v = t2 + e;
    }
  } else {
    c3:
    t4 = t3 + e;
    c2:
    t5 = t4 + f;
    c1:
    u = t5 + g;
  }
  c0:
  return u;
}

int if_exSimple(int a, int b)
{
  int g;
  int e;
  int 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;
}

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

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

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

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

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

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

int if_ual(int op, int a, int b)
{
  int 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);
      } else {
        c66:
        if (op == 3) {
          c65:
          result = (/* c64 */ a) || (/* c63 */ b);
        }
      }
    }
  }
  c62:
  return result;
}

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