 BUILDDIR/xed -64 -set MUST_USE_EVEX 1 -set ND 1 -e imul rax rbx imm:00
