#include <stdlib.h>

int main(void) {
	int * data = malloc(10000);
	(void) data;

	return 0;
}