long f(long, long, long);

RET(f(0, 10, 20) == (10 - (10 - 20) - 20) &&
    f(0, 40, 20) == (40 - (10 - 20) - 20) &&
    f(0,  0, 30) == ( 0 - (10 - 30) - 20));