export float f_f(float a) {
    unsigned int i = (unsigned int)a;
    return max((unsigned int)10, i);
}

export float result() { return 10; }