let pp_my_metrics fmt metrics =
  let format_heading fmt () =
    if metrics.cfile_name = "" && metrics.cfunc_name = "" then
      (* It is a global metrics *)
      Format.fprintf fmt "Global metrics"
    else Format.fprintf fmt "Stats for function <%s/%s>"
      metrics.cfile_name metrics.cfunc_name
  in
  Format.fprintf fmt "@[<v 0>%a @ ----------------------@ #assigns = %d@ #calls = %d@ #exits = %d@ #funcs = %d@ #gotos = %d@ #ifs = %d@ #loops = %d@ #pointer dereferencings = %d@ #decision points = %d@ #slocs = %d@ cyclomatic complexity = %d@ @]"
    format_heading ()
    metrics.cassigns metrics.ccalls
    metrics.cexits metrics.cfuncs
    metrics.cgotos metrics.cifs
    metrics.cloops metrics.cptrs
    metrics.cdecision_points
    metrics.cslocs (cyclo metrics)