#include <stdlib.h>

int main(int argc, char**)
{
	void *p = malloc(7);
}