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