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