A more precise, more correct stack and register model for CompCert
Origin : Files produced by the author(s)