: logical(b1, b2)
   System.Out "and = " << b1 b2 and << cr
   System.Out "or  = " << b1 b2 or << cr
   System.Out "xor = " << b1 b2 xor << cr
   System.Out "not = " << b1 not << cr ;