Bytecode instrumentation