int main() { call_ifelse (); if (ifelse_val2 != 23) abort (); return 0; }
int main() { call_for (); call_goto (); call_ifelse (); call_switch (); if ((for_val1 != 12) || (for_val2 != 87) || (goto_val != 15) || (ifelse_val1 != 31) || (ifelse_val2 != 23) || (ifelse_val3 != 246) || (switch_val != 55)) abort (); return 0; }