let pretty_callbacks_call_stack fmt callstack =
Format.fprintf fmt "@[<hv>";
List.iter (fun (kf, ki) ->
Kernel_function.pretty fmt kf;
match ki with
| Kglobal -> ()
| Kstmt stmt -> Format.fprintf fmt " :: %a <-@ "
Cil_datatype.Location.pretty (Cil_datatype.Stmt.loc stmt)
) callstack;
Format.fprintf fmt "@]"