The Sigma documentation says that, when a trap occurs, the IA contents (containing the next instruction address) are decremented by one before trapping to the XPSD instruction. Are there any exceptions to that? I'm trying to get my head around the concepts of just when IA gets incremented and just when the various traps occur in the execution sequence.