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