/*
 * gc.c - figure out if we can use malloc as allocator
 *
 * This file is automatically generated by Configure
 * from gc.in.
 */
#include <${malloc_header}>
#include <stdio.h>
int main(int argc, char **argv) {
        void *p = malloc(128);
	int used = mallinfo().uordblks;
	printf("%d\n", used);

	return 0;
}
