Another thing you can't really tell from the partial program, is if the program can "Fall into" the interrupt handler without an interrupt. As shown, it would.

That might cause stack underflow problems.

.