Compositional CompCert