int r3(void); int main_func(void) { return r3() == 246 ? 0 : 1; }