1 2 3 4 5 6 7 8 9 10 11 12 13
#include <stdio.h> int foo(void) { return 2; } int main(void) { int g_46 = 0 || foo(); printf ("%d\n", g_46); return 0; }