need to be able to store a 32bit interrupt number.