Synopsis:
m & n -- produce an integer obtained from the bits of the integers m and n by logical 'and'.