main()
{
    int i, j;
    float result;

    for (i=0; i<100000; i++)
    {
        if (identity(17) < 20)
        {
            for (j=0; j<5000;j++)
            {
	        result = (float)i / (float) j;
            }
        }
        else
        {
	   printf("hello, bug\n");
        }
    }
    printf("done\n");
}

int identity(int x)
{
    int i;

    for (i=0; i<10000; i++)
    {
        if (x < 0)
	{
            printf("something\n");
	}
    }
    return x+1;
}