integer B_x613 = 1


function initGlobals156() { 
}


function main106() { 
    initGlobals156();
    init_B158();
}


function config197() { 
}


function init_B158() { 
    testSuccess474();
}


IS_NATIVE function testSuccess474() { 
}