Instrumenting a Python application