extern int m(int this, int a);

RET(m(51, 0) == 10 && m(-3, 5) == 30 && m(35, 18) == 8);