Symbol: drop_current_rng