From the logic circuitry shown fig. 3-6 of SPRS166K I understand that the INT3 ISR may serve both INT3 pin and internal WDT TINT. I was planning to read INT3 pin by an I/O so to be able to discriminate the source. Differently, programming IWCON = 11 I'm loosing the chance to serve the INT3 pin IRQs that no longer works, being ISR invoked upon WDT expiring only. Do you think that fig. 3-6 is somewhat misleading ?