@Contract(pure = true)
  public static int max(int @NotNull [] values) {
    int max = Integer.MIN_VALUE;
    for (int value : values) {
      if (value > max) max = value;
    }
    return max;
  }
@Contract(pure = true)
  public static int max(int @NotNull [] values)