rng top-level property

Random rng
getter/setter pair

Implementation

Random rng = Random();