z-!z is alway 0. My son told me anything multiplied with a zero is always zero.
b = (z * a + !z * b) - (z * b + !z * a);
so after the above statement, b is 0.
Using Keil, all uninitialize data is 0, so we are working on NOTHING.
If I'm wrong at least I learned something :)