static int safeMul(int a, int b, int c) {
  ret safeMul(safeMul(a, b), c);
}

static int safeMul(int a, int b) {
  ret Math.multiplyExact(a, b);
}