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