Profiling decorator for Python