+/* --- @mprand_range@ --- *
+ *
+ * Arguments: @mp *d@ = destination integer
+ * @mp *l@ = limit for random number
+ * @grand *r@ = random number source
+ * @mpw or@ = mask for low-order bits
+ *
+ * Returns: A pseudorandom integer, unformly distributed over the
+ * interval %$[0, l)$%.
+ *
+ * Use: Generates a uniformly-distributed pseudorandom number in the
+ * appropriate range.
+ */
+
+extern mp *mprand_range(mp */*d*/, mp */*l*/, grand */*r*/, mpw /*or*/);
+