x : BITVECTOR(32);
QUERY (x[8:4]   @ x[3:0]  = x[8:0] );