06pub-03-bytecode-instrumentation