Because the module's __dict__ must be passed in as both the globals and locals for the code, we are forced to introduce py_instrument_receiver as part of that dictionary as well. It may be interesting to explore if we can "overlay" the receiver through a custom dictionary for a more robust solution that doesn't leak py_instrument_receiver into the module's exported values.