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