extern int m(int);
int ret = m(10);
RET(ret == 40);