}

  public void testVerifyNotNull_complexMessage_success() {
    String result = verifyNotNull(NON_NULL_STRING, "%s", IGNORE_ME);
    assertSame(NON_NULL_STRING, result);
  }

  public void testVerifyNotNull_simpleMessage_failure() {
    VerifyException expected =
        assertThrows(VerifyException.class, () -> verifyNotNull(null, FORMAT, 5));
    checkMessage(expected);
  }

  @J2ktIncompatible