#include <stdio.h>

#ifndef DB_BREAK_CODE
#include <stdlib.h>
#endif

int main(int argc, char **argv)
{
	int *x;
	x = malloc(sizeof(*x));
	free(x);
	return 0;
}