debugging: decorated for line profiling