Data.SBV.Examples.BitPrecise.MultMask
maskAndMult