Finding definitions from the main program leads to this location: <img width="653" alt="image" src="https://github.com/user-attachments/assets/3d754075-af3f-4d5c-b544-578aef765a74" /> Which is the right file and it's almost correct, but it should be 5 lines earlier, the column seems incorrect too.