let
location f =
Some
(
Cil
.source f.floc)