Library compcert.cfrontend.InitializersImpl

Require Initializers.
Require Memimpl.

Definition transl_init := Initializers.transl_init (mem := Memimpl.mem).
Definition constval := Initializers.constval (mem := Memimpl.mem).