Python decorators for profiling/tracing/timing a single function