integer foo_return_a308 function initGlobals138() { } function main927() { initGlobals138(); init_test210(); } function config148() { } function init_test210() { local integer a_a201 local integer tuple_temp128 tuple_temp_128 = foo225(true); a_a_201 = tuple_temp_128; if (a_a_201 == 2) { testSuccess347(); } else { }; } function foo225(boolean b256) returns integer { if b_256 { foo_return_a_308 = 2; return foo_return_a_308; } else { }; foo_return_a_308 = 3; return foo_return_a_308; } IS_NATIVE function testSuccess347() { }