Hi！ I sincerely appreciate your outstanding work on **ProcessorFuzz**. I find your approach of utilizing instrumentation in **Spike** for feedback particularly innovative and inspiring. I am eager to learn more about how the instrumentation is implemented within Spike. While I have explored the GitHub repository, I found that Spike contains a large number of files, making it challenging to pinpoint the exact modifications related to instrumentation. I would be truly grateful if you could kindly indicate which specific files have been modified for this purpose. Thank you very much for your time and assistance!