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