function initGlobals335() { 
}


function main275() { 
    local integer a342
    local integer b104
    local integer c120
    initGlobals335();
    a_342 = S2I244("7");
    b_104 = a_342;
    c_120 = b_104;
    if (c_120 == 7) {
        testSuccess164();
    } else {
    };
}


function config950() { 
}


IS_NATIVE IS_EXTERN @extern function S2I244(string s677) returns integer { 
}


IS_NATIVE function testSuccess164() { 
}