Symbol: aes_random_to_key