add System.Random too