1 if (2 * ((t1 - 1) % 64) + 8 >= t1)
2   S(-(2 * ((t1 - 1) % 64)) + t1 + 126);
3