let
command t cmd args =
begin
t.logcmd <-
Some
(cmd,args) ;
pp_command t.logfmt cmd args ;
end