public record Record(int x<caret>)