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)
{
    return x+1;
}