getting time output

[rif]

How can get the output from time "programmatically", in a way I can
manipulate?  I can see that time is sending its output to
*trace-output*, but I'm not sure how I can capture this, or send it to
a different stream, or what.

Any suggestions?

rif