Use RNG in the std style