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)