+ timer_start, timer_stop in toolbox/world