boolean expression,
      String errorMessageTemplate,
      @Nullable Object p1,
      @Nullable Object p2,
      @Nullable Object p3) {
    if (!expression) {
      throw new IllegalArgumentException(Platform.lenientFormat(errorMessageTemplate, p1, p2, p3));
    }
  }

  /**
   * Ensures the truth of an expression involving one or more parameters to the calling method.
   *

      boolean expression,
      String errorMessageTemplate,
      @Nullable Object p1,
      @Nullable Object p2,
      @Nullable Object p3) {
    if (!expression) {
      throw new IllegalArgumentException(Platform.lenientFormat(errorMessageTemplate, p1, p2, p3));
    }
  }

  /**
   * Ensures the truth of an expression involving one or more parameters to the calling method.
   *

      boolean expression,
      String errorMessageTemplate,
      @Nullable Object p1,
      @Nullable Object p2,
      @Nullable Object p3) {
    if (!expression) {
      throw new VerifyException(lenientFormat(errorMessageTemplate, p1, p2, p3));
    }
  }

  /**
   * Ensures that {@code expression} is {@code true}, throwing a {@code VerifyException} with a
   * custom message otherwise.
   *

      boolean expression,
      String errorMessageTemplate,
      @Nullable Object p1,
      @Nullable Object p2,
      @Nullable Object p3) {
    if (!expression) {
      throw new VerifyException(lenientFormat(errorMessageTemplate, p1, p2, p3));
    }
  }

  /**
   * Ensures that {@code expression} is {@code true}, throwing a {@code VerifyException} with a
   * custom message otherwise.
   *

	ZUHADD Z15.B, Z0.B, P3.M, Z0.B                    // e08d1144
	ZUHSUB Z15.B, Z0.B, P3.M, Z0.B                    // e08d1344
	ZUHSUBR Z15.B, Z0.B, P3.M, Z0.B                   // e08d1744
	ZUMAX Z15.B, Z0.B, P3.M, Z0.B                     // e00d0904
	ZUMAXP Z15.B, Z0.B, P3.M, Z0.B                    // e0ad1544
	ZUMAXQV Z25.S, P3, V5.S4                          // 252f8d04

    Predicate<Number> p1 = Predicates.in(nums);
    Predicate<Object> p2 = Predicates.<Object>in(nums);
    // The next two lines are not expected to compile.
    // Predicate<Integer> p3 = Predicates.in(nums);
    // Predicate<Integer> p4 = Predicates.<Integer>in(nums);
  }

  @J2ktIncompatible
  @GwtIncompatible // NullPointerTester
  public void testNullPointerExceptions() {

// Y1H LXVD2X (R18)(P1ptr), Y1 // Y1L XXPERMDI Y0, Y0, $2, Y0 XXPERMDI Y1, Y1, $2, Y1 CALL p256MulInternal<>(SB) // SUB(T<T3-T) Y3:=T // Y3 = T3-T4 T3 T4 (T3 = Y3) p256SubInternal(Y3H,Y3L,T3H,T3L,T1,T0) // if (sel == 0) { // copy(P3.x[:], X1) // copy(P3.y[:], Y1) // copy(P3.z[:], Z1) // } LXVD2X (R0)(P1ptr), X1L LXVD2X (R16)(P1ptr), X1H XXPERMDI X1H, X1H, $2, X1H XXPERMDI X1L, X1L, $2, X1L // Y1 already loaded, left over from addition LXVD2X (R19)(P1ptr), Z1L LXVD2X (R20)(P1ptr), Z1H XXPERMDI Z1H,...