let mk_global_c_array name size =
  let ty =
    (TArray(
       TInt(IInt,[]),
       Some(mk_int_const size),
       empty_size_cache (),
       []
     ))
  in
    mk_global_c_vars name ty