{
    while (a)
    {
        volatile if (b)
            {
	        b--;
		break;
            }
    }
}