IMO -- Better is to just write better tools for plain olde ANSI-C.  We can build tools to check C as well as any other.  Let&#x27;s just not waste time on building further complexity into our toolset and look at building toolkits and best practice at the very flexible level of abstraction that Plain olde C provides.  With the right tools and expertise, we can improve the world without the never ending whiz bang rewrite.