public record Bug343() {
}