function initGlobals161() { 
}


function main540() { 
    initGlobals161();
    init_Test640();
}


function config155() { 
}


function init_Test640() { 
    local integer a_val185
    local integer res_val647
    local integer this_val140
    local integer v160
    local integer pow306
    local integer cond_result_1144
    local integer this186
    local integer x932
    local integer result319
    local integer i346
    local integer temp116
    local integer this_val322
    local integer pow940
    local integer tuple_temp214
    local integer tuple_temp876
    local integer tuple_temp807
    local integer tuple_temp803
    local integer tuple_temp187
    local integer tuple_temp125
    tuple_temp_214 = 5;
    a_val_185 = tuple_temp_214;
    tuple_temp_876 = a_val_185;
    this_val_140 = tuple_temp_876;
    v_160 = 1;
    this_186 = 2;
    x_932 = v_160;
    result_319 = 1;
    i_346 = 1;
    temp_116 = x_932;
    loop {
        exitwhen (i_346 > temp_116);
        result_319 = (result_319 * this_186);
        i_346 = (i_346 + 1);
    };
    pow_306 = result_319;
    tuple_temp_807 = this_val_140;
    this_val_322 = tuple_temp_807;
    pow_940 = pow_306;
    if (not ((this_val_322 mod (pow_940 * 2)) >= pow_940)) {
        tuple_temp_803 = (this_val_140 + pow_306);
        cond_result_1_144 = tuple_temp_803;
    } else {
        tuple_temp_187 = this_val_140;
        cond_result_1_144 = tuple_temp_187;
    };
    tuple_temp_125 = cond_result_1_144;
    res_val_647 = tuple_temp_125;
    if (res_val_647 == 7) {
        testSuccess147();
    } else {
        testFail172(I2S863(res_val_647));
    };
}


IS_NATIVE function testSuccess147() { 
}


IS_NATIVE IS_EXTERN @extern function I2S863(integer i417) returns string { 
}


IS_NATIVE function testFail172(string msg157) { 
}