Index: flag.c
===================================================================
--- flag.c	(revision 21749)
+++ flag.c	(revision 21750)
@@ -26,6 +26,7 @@
  *
  */
 
+#include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 #include "config.h"
@@ -85,3 +86,32 @@
 
 	return (memcmp(f1->t, &f2->t, sizeof(f1->t)) == 0);
 }
+
+const char *pcb_dynflag_cookie[PCB_DYNFLAG_BLEN];
+
+pcb_dynf_t pcb_dynflag_alloc(const char *cookie)
+{
+	pcb_dynf_t n;
+	for(n = 0; n < PCB_DYNFLAG_BLEN; n++) {
+		if (pcb_dynflag_cookie[n] == NULL) {
+			pcb_dynflag_cookie[n] = cookie;
+			return n;
+		}
+	}
+	return PCB_DYNF_INVALID;
+}
+
+void pcb_dynflag_free(pcb_dynf_t dynf)
+{
+	if ((dynf >= 0) && (dynf < PCB_DYNFLAG_BLEN))
+		pcb_dynflag_cookie[dynf] = NULL;
+}
+
+
+void pcb_dynflag_uninit(void)
+{
+	pcb_dynf_t n;
+	for(n = 0; n < PCB_DYNFLAG_BLEN; n++)
+		if (pcb_dynflag_cookie[n] != NULL)
+			fprintf(stderr, "pcb-rnd: Internal error: dynamic flag %d (%s) not unregistered\n", n, pcb_dynflag_cookie[n]);
+}