long w(long,long);
long x(long);
long y(long);
long z(long);
long override(long);

printf("w(20,30)(1): %d\n", w(20,30));
printf("w(30,20)(0): %d\n", w(30,20));
printf("x(400)(0): %d\n", x(400));
printf("y(400)(1): %d\n", y(400));
printf("z(400)(0): %d\n", z(400));
printf("override(0x1)(0x55555): %x\n", override(0x1));
RET(w(20,30)==1 && override(0x1)==0x55555 && w(30,20)==0 && override(1)==0x55555 && x(400)==0 && override(0x1)==0x55555 && y(400)==1 && override(0x1)==0x55555 && z(400)==0 && override(0x1)==0x55555);