Instrumentation techniques for layered execution environments by