extern long a(int this);
extern long b(int this);


RET(a(20) == -7 && b(0xDEAD) == 20);