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