Symbol: dfx_interrupt