Function bit_and