1% COMMAND-LINE: --incremental 2 3% EXPECT: valid 4QUERY 0bin0000111101010000 = 0hex0f50; 5 6% EXPECT: valid 7QUERY 0bin01@0bin0 = 0bin010; 8 9% EXPECT: valid 10QUERY 0bin0011[3:1] = 0bin001; 11 12% EXPECT: valid 13QUERY 0bin0011 << 3 = 0bin0011000; 14 15% EXPECT: valid 16QUERY 0bin1000 >> 3 = 0bin0001; 17 18% EXPECT: valid 19QUERY SX(0bin100, 5) = 0bin11100; 20 21% EXPECT: valid 22QUERY BVZEROEXTEND(0bin1,3) = 0bin0001; 23 24% EXPECT: valid 25QUERY BVREPEAT(0bin10,3) = 0bin101010; 26 27% EXPECT: valid 28QUERY BVROTL(0bin101,1) = 0bin011; 29 30% EXPECT: valid 31QUERY BVROTR(0bin101,1) = 0bin110; 32