Cool, thanks for working in this area of course. I had a quick look at your paper out of general interest (I'm probably a very conservative C programmer, I woul

Cool, thanks for working in this area of course. I had a quick look at your paper out of general interest (I'm probably a very conservative C programmer, I would rather move to Rust than modify C to make it safer). I didn't understand this part: int arr100[100]; // an array of 100 ints arr100& arr100r; // ref to array of 100 ints > This is valid C++ today. Is it really? That doesn't look valid to me, but I'm well and truly much more of a C programmer than a C++ one. I did try it on Godbolt, and got an error: <source>:2:1: error: 'arr100' does not name a type 2 | arr100& arr100r; // ref to array of 100 ints | ^~~~~~ Compiler returned: 1 Apologies if this is already mentioned somewhere in errata or something, or if I'm simply being too dense.