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