extern void rand_key(rand_pool */*r*/, const void */*k*/, size_t /*sz*/);
+/* --- @rand_quick@ --- *
+ *
+ * Arguments: @rand_pool *r@ = pointer to a randomness pool
+ *
+ * Returns: Zero on success; @-1@ on failure.
+ *
+ * Use Attempts to use some machine-specific `quick' source of
+ * entropy to top up @r@. This may not do anything at all on
+ * many systems.
+ */
+
+extern int rand_quick(rand_pool */*r*/);
+
/* --- @rand_add@ --- *
*
* Arguments: @rand_pool *r@ = pointer to a randomness pool