int while_true()
{
	while(1);
        return 0;
}

int while_10(int x)
{
	while(x < 10) x++;
        return 0;
}