Frama_c_kernel.Substitute_const_globals
val constGlobSubstVisitor : Cil.cilVisitor
A visitor that substitutes globals, defined with the attribute 'const', with respective initializers.