I love that CompCert is now a thing. Does it perform well compile-time-wise?