extern long m(long,long);
int r1 = m(7,4);
int r2 = m(18,22);
printf("r1: %d\nr2: %d\n", r1, r2);
RET(r1==6 && r2==-8);