let
mk_global_c_int name =
let
ty = (
TInt
(
IInt
,[]))
in
mk_global_c_vars name ty