Symbol: enable_receive_interrupt