#include <stdlib.h>
#include <stdio.h>

int main(void) {
	char foo[1234];
	free(foo);
}