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