extern long long m(long long);

long t = m(-50);

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

RET(t == 67550);