move outcommented START/STOP_TIMER to a hopefully better place for benchmarking ...