let
mk_cvar v = mk_access_pointer (mk_cvar_addr v) (
Ctype
v.vtype)