7 printf("w(20,30)(1): %d\n", w(20,30));
8 printf("w(30,20)(0): %d\n", w(30,20));
9 printf("x(400)(0): %d\n", x(400));
10 printf("y(400)(1): %d\n", y(400));
11 printf("z(400)(0): %d\n", z(400));
12 printf("override(0x1)(0x55555): %x\n", override(0x1));
13 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);