random top-level property

Random random
getter/setter pair

Implementation

Random random = Random();