My pleasure. I've bookmarked the project - I intend to keep an eye on its developments. Am I right in thinking that, as it stands today, ZZ can be used as a ro

My pleasure. I've bookmarked the project - I intend to keep an eye on its developments. Am I right in thinking that, as it stands today, ZZ can be used as a rock-solid protection against C's undefined behaviour (in my own code at least), and as a protection against accidentally writing non-portable C code? That's a great starting point, if so.