extern int m(int);

int t = m(-6);

//printf("%d\n", t);

RET(m(-6) == 80);