davidl Wrote: > If so, they may need to further proof the compiler always > generate correct binaries. And that the processor doesn't have flaws either. This is what's called an unprecedented level of reliability, I believe.