64 /* interrupt handler cookie */