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