TIME prints out message ("Time:") as well as returning
a value. This doesn't seem appropriate: other
noninteractive functions only return a value.
For example if you execute foo: TIME (%o1, %o2, %o3)$
you still get the "Time:" print-out but no value is
printed (since the return value print-out is suppressed
by the dollar sign).