function initGlobals183() { 
}


function main868() { 
    initGlobals183();
    init_test214();
}


function config167() { 
}


function init_test214() { 
    local real tuple_temp350
    local real tuple_temp156
    tuple_temp_156 = (Cos105(1.5708) * 10.);
    tuple_temp_350 = (Sin125(1.5708) * 10.);
    tuple_temp_156 = (1. + tuple_temp_156);
    tuple_temp_350 = (2. + tuple_temp_350);
    if ((((tuple_temp_156 >= 0.99) and (tuple_temp_156 <= 1.01)) and (tuple_temp_350 >= 11.99)) and (tuple_temp_350 <= 12.01)) {
        testSuccess574();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function Cos105(real x918) returns real { 
}


IS_NATIVE IS_EXTERN @extern function Sin125(real x157) returns real { 
}


IS_NATIVE function testSuccess574() { 
}