Symbol: add_interrupt_randomness