long wfoo(long);
static long s[3];
s[0] = 5;
s[1] = 1;
s[2] = 1337;
RET(wfoo(0xcafebabe) == 1337);