renamed RandomGenerator -> Random