Interesting concept, but a more modern, more secure set of tools at this level these days should be done in a language that makes secure coding easier than C. I

Interesting concept, but a more modern, more secure set of tools at this level these days should be done in a language that makes secure coding easier than C. I get they want to easily offer a C-level API, but at least use something that machine-generates correct C.