public record Record(int x<caret>) {
}