void f(void)
{
	int *vals = malloc(sizeof(int) * 10);
}