--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/help2html/must.c	Sat Dec 22 17:52:45 2007 -0500
@@ -0,0 +1,19 @@
+#include <stdlib.h>
+#include <err.h>
+#include "must.h"
+
+void *must_malloc(size_t len) {
+  void *x = malloc(len);
+  if (!x) {
+    errx(1, "Out of memory");
+  }
+  return x;
+}
+
+void *must_realloc(void *ptr, size_t len) {
+  void *x = realloc(ptr, len);
+  if (!x) {
+    errx(1, "Out of memory");
+  }
+  return x;
+}