+ timestamp utility
* improvements of time-profiler (not finished yet!)