static int assertDivisibleBy(int divisor, int a) {
  if ((a % divisor) != 0)
    fail("Not divisible by " + divisor + ":" + a);
  ret a;
}