integer wurst_stack_depth122 = 0


function initGlobals170() { 
}


function main134() { 
    local integer a647
    initGlobals170();
    a_647 = S2I174("7");
    if (a_647 == 7) {
        testSuccess138();
    } else {
    };
}


function config136() { 
}


IS_NATIVE IS_EXTERN @extern function S2I174(string s147) returns integer { 
}


IS_NATIVE function testSuccess138() { 
}