integer wurst_stack_depth859 = 0


function initGlobals156() { 
}


function main161() { 
    local integer a116
    initGlobals156();
    a_116 = S2I195("7");
    if (a_116 == 7) {
        testSuccess170();
    } else {
    };
}


function config366() { 
}


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


IS_NATIVE function testSuccess170() { 
}