extern int m(int);

int t = m(-50);

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

RET(t == 67550);