x : BITVECTOR(32);
QUERY (x[31:0] = x);