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