let print_call_stack fmt stack =
      List.iter
        (fun c ->
           Format.fprintf fmt
             "@\n\tFrom location %a (call to %s)." d_loc c.cloc c.fname)
        (List.rev stack)