let
addr_cvar ~create v = addr_lvar ~create (
Cil
.cvar_to_lvar v)