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 main(void)
{
  int a;
  int b;
  int c;
  c20:
  a = 4;
  c19:
  b = 5;
  c18:
  c = a;
  c17:
  c = 10;
  c16:
  c = a + b;
  c15:
  c = a - b;
  c14:
  c = a * b;
  c13:
  c = a / b;
  c12:
  c = a % b;
  c11:
  c = a & b;
  c10:
  c = a | b;
  c9:
  c = a << b;
  c8:
  c = a >> b;
  c7:
  c = a ^ b;
  c6:
  c = a < b;
  c5:
  c = a > b;
  c4:
  c = a == b;
  c3:
  c = a != b;
  c2:
  c = a <= b;
  c1:
  c = a >= b;
  c0:
  return c;
}