int h;
void f(int a, int b)
{
	int x, y;
	x = 6;					//000
	y = 2;					//001
	h = b;					//002
	if (x < 9)			//003 - always TRUE
	{
		y = 4;				//004 - выполняется всегда
	}
	y = 4;					//005
	if (y < 4)			//006 - always FALSE
	{
		if (y > 6)		//007 - никогда не выполнится
		{
			x = 2;			//008 - никогда не выполнится
		}
		else
		{
			y = 3;			//009 - никогда не выполнится
		}
	}
									//010 - финальное состояние, "ret"
}

void g (int a, int b)
{
	int x, y;
	x = 9;					//000
	y = 8;					//001
	h = 3;					//002
	if (x < 3)			//003 - always FALSE
	{
		if (x < 5)		//004 - никогда не выполняется
		{
			y = 3;			//005 - никогда не выполняется
		}
		else
		{
			x = 8;			//006 - никогда не выполняется
		}
		if (h > 6)		//007 - никогда не выполняется
		{
			y = 6;			//008 - никогда не выполняется
		}
		h = 4;				//009 - никогда не выполняется
	}
	while (x > 5)		//010 - always TRUE
	{
		if (h > 0)		//011
			break;			//012
		x = 6;				//013 - никогда не выполняется
		if (y < 1)		//014 - always FALSE
		{
			h = 1;			//015 - никогда не выполняется
		}
		h = 3;				//016 - никогда не выполняется
	}
									//017 - финальное состояние, "ret"
}