9344 /* soft interrupt cookie */