What does (x ^ 0x1) != 0 mean?