let pp_command fmt cmd args =
    begin
      Format.fprintf fmt "@[<hov 4>%s" cmd ;
      Array.iter
        (fun arg -> Format.fprintf fmt "@ %s" arg)
        args ;
      Format.fprintf fmt "@]@." ;
    end