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);