Suppose that a large integer k is represented in two's complement form. It may be negative, zero, or positive.
We say that k is even if and only if |k| mod 2 = 0. How can we quickly test if k is even without using arithmetic operations, and without using mod?