extern long long m(long long this);

RET(m(9) == 3 && m(10) == 0);