bit_and::=