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