let mk_cvar_addr v = mk_lvar_addr (Cil.cvar_to_lvar v)