let
location x =
Some
(
Cil
.source x.vdecl)