// version 14:
record EqualsAndHashCodeOnRecord(String a, String b) {
}