extern int m(int this);

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