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