[basex-talk] Marking up util:time output

Howdy -- If I'm running a query which includes a number of util:time calls against different data, how can I know which one is doing what given that execution order is undefined? Is there another function I can use to emit an arbitrary value to the "info view"? If not, an optional parameter providing a string to tag profiling times with would be convenient. Thanks!