a & b == c     # XXX, means a & (b == c)
(a & b) == c   # ok