\begin{ccRefVariable}{default_random}
\ccDefinition
The variable \ccRefName\ is the default random numbers generator used for
the generator functions and classes.
\ccInclude{CGAL/Random.h}
\ccVariable{Random default_random;}{}
\end{ccRefVariable}