Since you care about these things, why not try a language that has scoped threads and bounds checking built in, like Rust or Ada? Actually, I had written more

Since you care about these things, why not try a language that has scoped threads and bounds checking built in, like Rust or Ada? Actually, I had written more about Rust and Ada, but then I read your blog, and it says you like C better anyway because you find it more fun, so nevermind. You might also like to use D in its "Better C" mode, which at least offers bounds-checked arrays and sliced, as well as some other features, while being very similar to C. https://dlang.org/spec/betterc.html https://dlang.org/spec/betterc.html