extern long m(long,long);
RET(m(3,9)==11 && m(6,13)==15);