function initGlobals146() { 
}


function main210() { 
    local integer ints_1273
    local integer ints_2152
    local integer ints_3186
    local integer sum136
    local integer j316
    initGlobals146();
    ints_1_273 = 2;
    ints_2_152 = 3;
    ints_3_186 = 4;
    sum_136 = 1;
    j_316 = 1;
    loop {
        exitwhen (j_316 > 4);
        sum_136 = (sum_136 + j_316);
        exitwhen (j_316 > 2);
        j_316 = (j_316 + 1);
    };
    sum_136 = (sum_136 + ints_1_273);
    j_316 = 1;
    loop {
        exitwhen (j_316 > 4);
        sum_136 = (sum_136 + j_316);
        exitwhen (j_316 > 2);
        j_316 = (j_316 + 1);
    };
    sum_136 = (sum_136 + ints_2_152);
    j_316 = 1;
    loop {
        exitwhen (j_316 > 4);
        sum_136 = (sum_136 + j_316);
        exitwhen (j_316 > 2);
        j_316 = (j_316 + 1);
    };
    sum_136 = (sum_136 + ints_3_186);
    j_316 = 1;
    loop {
        exitwhen (j_316 > 4);
        sum_136 = (sum_136 + j_316);
        exitwhen (j_316 > 2);
        j_316 = (j_316 + 1);
    };
    if (sum_136 == 34) {
        testSuccess129();
    } else {
    };
}


function config101() { 
}


IS_NATIVE function testSuccess129() { 
}