/* Registers an interrupt handler for the system exception interrupt. */
void SysExcIntRegister(void(*pfnHandler)(void))
/* Registers an interrupt handler for the system exception interrupt. */
void SysExcIntRegister(void(*pfnHandler)(void))
{
    IntRegister(INT_SYSEXC, pfnHandler);
    IntEnable(INT_SYSEXC);
}