The Keil software shipped free with the ADuC7026 dev kit is able to program interrupts using 'void IRQ_Handler() __irq' syntax.
Newer versions of software will not accept this syntax. I am not a very experienced programmer, but more experienced colleagues of mine have also struggled with this without success, and since it is free software there is no recourse to Keil technical support. Has anyone else had this problem?