> Exactly what, in the year 2023 C.E., is C great for? Implementing low-level code that is important enough to prove correct, without going through the additio

> Exactly what, in the year 2023 C.E., is C great for? Implementing low-level code that is important enough to prove correct, without going through the additional effort of de novo proving your entire toolchain is correct.