extern long m(long,long);
RET(m(3,6)==15 && m(-3,5)==13);