boolean test_b275 = true
boolean test_c135 = true


function initGlobals153() { 
}


function main117() { 
    initGlobals153();
    if ((((true and true) and true) and true) and false) {
        testFail159("");
    } else {
        testSuccess587();
    };
}


function config157() { 
}


IS_NATIVE function testFail159(string s156) { 
}


IS_NATIVE function testSuccess587() { 
}