extern long m(long,long);
RET(m(0,12)==1 && m(9,13)==0);