You are right!
The strange loop comes straight from the Tower KL25 TSS example, in C:\Freescale\CW MCU v10.3\MCU\CodeWarrior_Examples\Processor_Expert\Kinetis\TWR-KL25Z48M\TSS\Sources.
This nasty death countdown can be confusing, IMHO.
One less thing to worry about, thanks a lot.