function initGlobals545() { 
}


function main211() { 
    initGlobals545();
    init_Test869();
}


function config156() { 
}


function init_Test869() { 
    int_foo_4170(3, 1, 2, 3, 4);
}


IS_NATIVE function testSuccess573() { 
}


function int_foo_4170(integer this776, integer ints_0743, integer ints_1177, integer ints_2424, integer ints_3516) { 
    this_776 = (this_776 + ints_0_743);
    ints_0_743 = 1;
    loop {
        exitwhen (ints_0_743 > 4);
        this_776 = (this_776 + ints_0_743);
        exitwhen (ints_0_743 > 2);
        ints_0_743 = (ints_0_743 + 1);
    };
    this_776 = (this_776 + ints_1_177);
    ints_0_743 = 1;
    loop {
        exitwhen (ints_0_743 > 4);
        this_776 = (this_776 + ints_0_743);
        exitwhen (ints_0_743 > 2);
        ints_0_743 = (ints_0_743 + 1);
    };
    this_776 = (this_776 + ints_2_424);
    ints_0_743 = 1;
    loop {
        exitwhen (ints_0_743 > 4);
        this_776 = (this_776 + ints_0_743);
        exitwhen (ints_0_743 > 2);
        ints_0_743 = (ints_0_743 + 1);
    };
    this_776 = (this_776 + ints_3_516);
    ints_0_743 = 1;
    loop {
        exitwhen (ints_0_743 > 4);
        this_776 = (this_776 + ints_0_743);
        exitwhen (ints_0_743 > 2);
        ints_0_743 = (ints_0_743 + 1);
    };
    if (this_776 == 37) {
        testSuccess573();
    } else {
    };
}