let location c = match c.cfields with | f :: _ -> let s = fst f.floc in if s.Lexing.pos_fname = "" then None else Some s | [] -> None