integer wurst_stack_depth785 = 0


function initGlobals422() { 
}


function main912() { 
    local integer ints_1220
    local integer ints_2184
    local integer ints_3106
    local integer sum538
    local integer j440
    initGlobals422();
    ints_1_220 = 2;
    ints_2_184 = 3;
    ints_3_106 = 4;
    sum_538 = 4;
    j_440 = 1;
    loop {
        exitwhen (j_440 > 4);
        sum_538 = (sum_538 + j_440);
        exitwhen (j_440 > 2);
        j_440 = (j_440 + 1);
    };
    sum_538 = (sum_538 + ints_1_220);
    j_440 = 1;
    loop {
        exitwhen (j_440 > 4);
        sum_538 = (sum_538 + j_440);
        exitwhen (j_440 > 2);
        j_440 = (j_440 + 1);
    };
    sum_538 = (sum_538 + ints_2_184);
    j_440 = 1;
    loop {
        exitwhen (j_440 > 4);
        sum_538 = (sum_538 + j_440);
        exitwhen (j_440 > 2);
        j_440 = (j_440 + 1);
    };
    sum_538 = (sum_538 + ints_3_106);
    j_440 = 1;
    loop {
        exitwhen (j_440 > 4);
        sum_538 = (sum_538 + j_440);
        exitwhen (j_440 > 2);
        j_440 = (j_440 + 1);
    };
    if (sum_538 == 37) {
        testSuccess121();
    } else {
    };
}


function config802() { 
}


IS_NATIVE function testSuccess121() { 
}