let pretty_call_stack fmt callstack =
  Pretty_utils.pp_flowlist ~left:"" ~sep:" <- " ~right:""
     (fun fmt {called_kf = kf} -> Kernel_function.pretty fmt kf)
    fmt
    callstack