/* Written by Paul Eggert. */
#ifndef _GL_ALLOCATOR_H
+#define _GL_ALLOCATOR_H
#include <stddef.h>
void (*die) (void);
};
-#endif
+/* An allocator using the stdlib functions and a null DIE function. */
+extern struct allocator const stdlib_allocator;
+
+#endif /* _GL_ALLOCATOR_H */