+/*----- Infrastructure ----------------------------------------------------*/
+
+/* --- @atend_register@ --- *
+ *
+ * Arguments: @int (*func)(void *)@ = function to call
+ * @void *p@ = handle to pass to it
+ *
+ * Returns: ---
+ *
+ * Use: Adds a function to the list of things to do at the end of the
+ * program. The function should return nonzero if it produced
+ * any output.
+ */
+
+extern void atend_register(int (*/*func*/)(void */*p*/), void */*p*/);
+