Symbol: add_disk_randomness