1for (int c0 = 3993; c0 <= 63893; c0 += 1)
2 if (2 * c0 - 3993 * ((3 * c0 + 5990) / 5990) >= 0)
3 for (int c4 = -c0 + 1997 * ((3 * c0 + 5990) / 5990) + 1; c4 <= 12; c4 += 1)
4 S_3(c4, -c0 + 1997 * ((3 * c0 + 5990) / 5990), 2 * c0 - 3993 * ((3 * c0 + 5990) / 5990));
5

source code of polly/lib/External/isl/test_inputs/codegen/cholesky.c