x, y : BITVECTOR(32);
QUERY ((x @ y)[62:33] = x[30:1]);