+/* --- @rand_generation@ --- *
+ *
+ * Arguments: ---
+ *
+ * Returns: A nonzero generation number.
+ *
+ * Use: Returns a generation number for the current process. Each
+ * pool has its own number. If this matches the process number
+ * then all is well. If it doesn't match, then the pool needs
+ * to be cleaned before its next use.
+ */
+
+extern unsigned rand_generation(void);
+