let mk_global_c_var_init name init =
let ty = Cil.typeOf init in
let vi = Cil.makeGlobalVar name ty in
vi.vghost <- true;
let ini = { Cil_types.init = Some(SingleInit init) } in
mk_global(GVar(vi,ini,vi.vdecl));
Globals.Vars.add vi ini;
set_varinfo name vi