Symbol: interrupt_end