#include <stdlib.h>

int main(void)
{
	int *x;
	x = malloc(sizeof(*x));
	free(x);
	free(x);
	return 0;
}