times  Print the accumulated user and system times for the  shell  and  for
       processes run from the shell.
