}
  }

  static void checkNoOverflow(boolean condition, String methodName, int a, int b) {
    if (!condition) {
      throw new ArithmeticException("overflow: " + methodName + "(" + a + ", " + b + ")");
    }
  }

  static void checkNoOverflow(boolean condition, String methodName, long a, long b) {
    if (!condition) {

  }

  public void testCheckNoOverflow_success() {
    MathPreconditions.checkNoOverflow(true, "testCheckNoOverflow_success", 0, 0);
  }

  public void testCheckNoOverflow_failure() {
    ArithmeticException expected =
        assertThrows(
            ArithmeticException.class,
            () -> MathPreconditions.checkNoOverflow(false, "testCheckNoOverflow_failure", 0, 0));

  }

  public void testCheckNoOverflow_success() {
    MathPreconditions.checkNoOverflow(true, "testCheckNoOverflow_success", 0, 0);
  }

  public void testCheckNoOverflow_failure() {
    ArithmeticException expected =
        assertThrows(
            ArithmeticException.class,
            () -> MathPreconditions.checkNoOverflow(false, "testCheckNoOverflow_failure", 0, 0));