- Target compcert-32 (also on 3.13.1, our current target) - Should not require too many changes to the ML and .v code - codegen is already using `Archi.ptr64` CompCert configuration. - Probably means two opam packages (certicoq/certicoq-64 and certicoq-32?) look how it is done for CompCert packages
Archi.ptr64CompCert configuration.