mod_sub_64
a1 = mod_sub_64(range, *in++);
a1 |= mod_sub_64(range, *in++) << 13;
a1 |= mod_sub_64(range, *in++) << 26;
a1 |= mod_sub_64(range, *in++) << 39;
a1 |= (a2 = mod_sub_64(range, *in++)) << 52;
a2 = (a2 >> 12) | (mod_sub_64(range, *in++) << 1);
a2 |= mod_sub_64(range, *in++) << 14;
a2 |= mod_sub_64(range, *in++) << 27;