[ERROR]
The specified vector entry number for the interrupt was illegal.
interrupt 1000 void f(); // error
Check the backend for the range of legal interrupt numbers! The interrupt number is not the same as the address of the interrupt vector table entry. The mapping from the interrupt number to the vector address is backend specific.