let
mk_cvar_addr v = mk_lvar_addr (
Cil
.cvar_to_lvar v)