priority aspect of interrupt, 2 assertions