let
mk_global_c_vars name ty =
let
vi = (
Cil
.makeGlobalVar name ty)
in
mk_global_var vi