const default: Info = .
35 36 37 38 39
const default: Info = .{ .block_name = &.{}, .record_names = .empty, .abbrevs = .{ .abbrevs = .empty }, }