r00 = (a == 0)