src/isl-0.15/test_inputs/codegen/atomic2.c

for (int c0 = ((b0 + 32767) % 32768) + 1; c0 <= 65534; c0 += 32768)
  A(c0);