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