Symbol: handle_receive_interrupt