Hot: autoinstrumentation