x, y : BITVECTOR(32);
QUERY ((x @ y)[28:3] = y[28:3]);