public record Param(int... i) {
}