Symbol: handle_interrupt