x, y : BITVECTOR(8); z, t : BITVECTOR(12); ASSERT(x=0hexff); ASSERT(z=0hexff0); QUERY(z = x << 4);