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