Symbol: crypto_get_default_rng