single_valued.c

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