counter: remove help-code for profiling