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