ZZ is a modern formally provable dialect of C
> where we still program C out of desperation<p>I agree it's the standard and the only <i>thing that actually works</i> (author's words), but it's still a pleasure for me to write and have to deal with C (for embedded). I'd be desperate if I have to be forced to deal with <i>huge</i> different paradigms because <i>pointer problems</i> or <i>insert-your-C-rant-here</i>. C is not going to be replaced on embedded any moment soon.