The code itself is defined outside of the main code in what is known as an Interrupt Service Routine. It’s not at all obvious when the ISR is going to run; it runs when it’s triggered.