integer wurst_stack_depth158 = 0


function initGlobals132() { 
}


function main152() { 
    local integer a450
    initGlobals132();
    a_450 = S2I137("7");
    if (a_450 == 7) {
        testSuccess103();
    } else {
    };
}


function config654() { 
}


IS_NATIVE IS_EXTERN @extern function S2I137(string s150) returns integer { 
}


IS_NATIVE function testSuccess103() { 
}