support defining a Random