function initGlobals620() { 
}


function main663() { 
    initGlobals620();
    init_Test523();
}


function config617() { 
}


function init_Test523() { 
    if (("a" + nullString115()) == "a") {
        testSuccess119();
    } else {
    };
}


function nullString115() returns string { 
    return null<string>;
}


IS_NATIVE function testSuccess119() { 
}