Synopsis:
m|n -- produce an integer obtained from the bits of the integers m and n by logical 'or'.
i1 : 5 | 12 o1 = 13