timer functions

[bright@ENH.NIST.GOV]

Greetings!
  The time function is nifty:  (time (stuff to be timed)), but it sends its
info to *standard-output*.  Is there a way to get the output in machine
useable form?  Or, are there functions out there that give the same sort of
nifty info (time in secs, GC and multitasking times that can be subtracted
off, memory allocated)?  I know about decoding get-internal-real-time, but
the the time function is very useful as is and it has all the info in one
place.

Thanks
-- Dave
David S. Bright                        bright@enh.nist.gov  
Microanalysis Research Group                                   
National Institute of Standards & Technology (NIST, formerly NBS)
Gaithersburg, MD 20899                                           
USA
301-975-3911