// version 14:
import lombok.Getter;
public @Getter record GetterOnRecord(String a, String b) {
}