Isolated Compcert stuff from our stuff (different license)