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