Good to know on stability part. Far as bugs fixed, it&#x27;s more on the lines of day-to-day use of the language in common scenarios. Are people getting unnecessary troubles out of the compiler? Typically don&#x27;t for most languages as they work out most of them in common idioms and library functions in first, few years. If they&#x27;re serious rather than 1-3 people&#x27;s hobby, that is.<p>I certainly won&#x27;t expect it to be bug free. Nice comeback with CompCert, though. ;)