1 for (int c0 = 1; c0 <= 15; c0 += 1) { 2 if (((-exprVar1 + 15) % 8) + c0 <= 15) { 3 s2(c0); 4 s0(c0); 5 s4(c0); 6 s3(c0); 7 s1(c0); 8 } 9 if (((-exprVar1 + 15) % 8) + c0 <= 15 || (exprVar1 - c0 + 1) % 8 == 0) 10 s5(c0); 11 } 12