@Test
public void testMultiplication() {

  for(int i = 0; i < 100; i++) {
    final long a = nextPositiveLong();
    final long b = nextPositiveLong();
    verifyMultiplication(a, b);
  }
  final long max = Long.MAX_VALUE & MASK;
  verifyMultiplication(max, max);
}