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