I think nobody could write correct applications in C without strict style guides (automatically checked), fat pointers and forbidding nul terminated strings in

I think nobody could write correct applications in C without strict style guides (automatically checked), fat pointers and forbidding nul terminated strings in their code. Yes it's external to language. But presenting a deficient code base as a straw man is kinda silly. I'm looking forward for SHUA series. Hope it would present real issues which couldn't be fixed with simple linter. P.S. It would be interesting to delve into a history of open source ADA compilers and their features and availability in 1998 (openssl begins).