long logical(long x, long y) { long t1 = x^y; long t2 = t1 >> 17; long mask = (1<<13) - 7; long rval = t2 & mask; return rval; }