print-cpu-time example