Symbol: secure_get_random