Definition at line 8 of file aring-zz-flint.cpp.
References FLINT_RAND_INIT, mMaxHeight, and mRandomState.