8192 /* interrupt handler cookie */