Some more Compcert stuff