#include <stdarg.h>
-void mem_init(int gc);
-/* initialize memory management. Set GC to 1 if garbage collection is
- * desired. */
+void mem_init(void);
+/* initialize memory management. */
void *xmalloc(size_t);
void *xrealloc(void *, size_t);
comment-column:40
End:
*/
-/* arch-tag:333db053cab9e5ef91a151040d3256fb */