integer wurst_stack_depth303 = 0


function initGlobals172() { 
}


function main129() { 
    initGlobals172();
    if ((null<string> + null<string>) == null<string>) {
        testSuccess262();
    } else {
    };
}


function config500() { 
}


IS_NATIVE function testSuccess262() { 
}