/* line  1 */ int v;
/* line  2 */ void __attribute__((noinline))
/* line  3 */ e (int i) { v = 0; }
/* line  4 */ int __attribute__((noinline))
/* line  5 */ d (int i) { e (i); e (v);
/* line  6 */             return 0; }
/* line  7 */ int __attribute__((noinline))
/* line  8 */ c (int i) { return d (i * 10); }
/* line  9 */ int __attribute__((noinline))
/* line 10 */ a (int i) { return c (i + 1); }
/* line 11 */ int __attribute__((noinline))
/* line 12 */ b (int i) { return c (i + 2); }
/* line 13 */ int main (void)
/* line 14 */ { if (v) return a (1) + 1;
/* line 15 */   else   return b (5) + 1; }