--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/helpgen/utils.c	Sat Dec 22 17:52:45 2007 -0500
@@ -0,0 +1,23 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+#include "utils.h"
+
+void *domalloc(size_t len) {
+  void *x = malloc(len);
+  if (!x) {
+    fprintf(stderr, "Out of memory\n");
+    exit(1);
+  }
+  return x;
+}
+
+char *dostrdup(const char *s) {
+  char *x = strdup(s);
+  if (!x) {
+    fprintf(stderr, "Out of memory\n");
+    exit(1);
+  }
+  return x;
+}