x : BITVECTOR(32);

QUERY(BVLT(x,0hex0000000a));