public record Record(@NotNull Object o) {

  public Record {
    this.o = o;
  }
}