[mananaysiempre]

Unfortunately you end up selling your stuff to people building missiles and bombs that way—witness CompCert and Frama-C.

[anonzzzies]

Not us, but yes, you have a point.