How can I change VEX instructions between 16, 32, and 64-bit modes? - EdgeBench