let
location f =
Some
(fst f.floc)