function initGlobals303() { 
}


function main117() { 
    local integer a510
    local integer b128
    local integer c172
    initGlobals303();
    a_510 = S2I347("7");
    b_128 = a_510;
    c_172 = b_128;
    if (c_172 == 7) {
        testSuccess118();
    } else {
    };
}


function config199() { 
}


IS_NATIVE IS_EXTERN @extern function S2I347(string s992) returns integer { 
}


IS_NATIVE function testSuccess118() { 
}