return Optional.empty();
  }

  @Generates
  <T> Optional<T> generateJavaOptional(T value) {
    return Optional.of(value);
  }

  @Generates
  OptionalInt generateOptionalInt() {
    return OptionalInt.of(generateInt());
  }

  @Generates
  OptionalLong generateOptionalLong() {
    return OptionalLong.of(generateLong());
  }

  @Generates