Symbol: wb_interrupt