C.MyInitData
type t = InitData.t
val init : C_states.CGEnv.Global_env.def Cgil_lib.String_map.t -> unit