function initGlobals515() { 
}


function main891() { 
    local integer ints_1469
    local integer ints_2103
    local integer ints_3567
    local integer sum197
    local integer j149
    initGlobals515();
    ints_1_469 = 2;
    ints_2_103 = 3;
    ints_3_567 = 4;
    sum_197 = 1;
    j_149 = 1;
    loop {
        exitwhen (j_149 > 4);
        sum_197 = (sum_197 + j_149);
        exitwhen (j_149 > 2);
        j_149 = (j_149 + 1);
    };
    sum_197 = (sum_197 + ints_1_469);
    j_149 = 1;
    loop {
        exitwhen (j_149 > 4);
        sum_197 = (sum_197 + j_149);
        exitwhen (j_149 > 2);
        j_149 = (j_149 + 1);
    };
    sum_197 = (sum_197 + ints_2_103);
    j_149 = 1;
    loop {
        exitwhen (j_149 > 4);
        sum_197 = (sum_197 + j_149);
        exitwhen (j_149 > 2);
        j_149 = (j_149 + 1);
    };
    sum_197 = (sum_197 + ints_3_567);
    j_149 = 1;
    loop {
        exitwhen (j_149 > 4);
        sum_197 = (sum_197 + j_149);
        exitwhen (j_149 > 2);
        j_149 = (j_149 + 1);
    };
    if (sum_197 == 34) {
        testSuccess722();
    } else {
    };
}


function config593() { 
}


IS_NATIVE function testSuccess722() { 
}