boolean test_b240 = false


function initGlobals133() { 
}


function main101() { 
    initGlobals133();
    if (false or false) {
        testFail272("");
    } else {
        testSuccess907();
    };
}


function config142() { 
}


IS_NATIVE function testFail272(string s693) { 
}


IS_NATIVE function testSuccess907() { 
}