ables (rarely needed), respectively.
       The <tt>-dump</tt> option can be used to produce all of these dumps.

  </dd><dt><tt>-time</tt>          
  </dt><dd>This option adds detailed timing statistics to the normal summary of
      results.  This is normally of great interest only to maintainers of 
      the system itself.

  </dd><dt><tt>-debug</tt>          
  </dt><dd>This option produces voluminous internal debugging information about
      the system as it runs.  This is normally of interest only 