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