0000000000000000 0f1a0433                        BNDLDX    bnd0, [rbx+rsi]
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  0, RawSize:  0, Encoding: M, Address Generator: yes, MIB Addressing: yes, 
                Base: 3, Index: 6 * 1, 

0000000000000004 660f1ac3                        BNDMOV    bnd0, bnd3
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: M, RegType:            Bound, RegSize: 16, RegId: 3, RegCount: 1

0000000000000008 660f1a03                        BNDMOV    bnd0, xmmword ptr [rbx]
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size: 16, RawSize: 16, Encoding: M, 
                Segment: 3, Base: 3, 

000000000000000C f30f1ac0                        BNDCL     bnd0, rax
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 0, RegCount: 1

0000000000000010 f30f1a03                        BNDCL     bnd0, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, Address Generator: yes, 
                Base: 3, 

0000000000000014 f20f1ac0                        BNDCU     bnd0, rax
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 0, RegCount: 1

0000000000000018 f20f1a03                        BNDCU     bnd0, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, Address Generator: yes, 
                Base: 3, 

000000000000001C 0f1b0433                        BNDSTX    [rbx+rsi], bnd0
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:     Memory, Size:  0, RawSize:  0, Encoding: M, Address Generator: yes, MIB Addressing: yes, 
                Base: 3, Index: 6 * 1, 
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1

0000000000000020 660f1ac3                        BNDMOV    bnd0, bnd3
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: M, RegType:            Bound, RegSize: 16, RegId: 3, RegCount: 1

0000000000000024 660f1b03                        BNDMOV    xmmword ptr [rbx], bnd0
        DSIZE: 32, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:     Memory, Size: 16, RawSize: 16, Encoding: M, 
                Segment: 3, Base: 3, 
        Operand: 1, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1

0000000000000028 f30f1b03                        BNDMK     bnd0, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  -W,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, 
                Segment: 3, Base: 3, 

000000000000002C f20f1bc0                        BNDCN     bnd0, rax
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:   Register, Size:  8, RawSize:  8, Encoding: M, RegType:  General Purpose, RegSize:  8, RegId: 0, RegCount: 1

0000000000000030 f20f1b03                        BNDCN     bnd0, qword ptr [rbx]
        DSIZE: 64, ASIZE: 64, VLEN: -
        ISA Set: MPX, Ins cat: MPX, CET tracked: no
        CPUID leaf: 0x00000007, sub-leaf: 0x00000000, reg: ebx, bit: 14
        Valid modes
                R0: yes, R1: yes, R2: yes, R3: yes
                Real: yes, V8086: yes, Prot: yes, Compat: yes, Long: yes
                SMM: yes, SGX: yes, TSX: yes, VMXRoot: yes, VMXNonRoot: yes
        Valid prefixes
                REP: no, REPcc: no, LOCK: no
                HLE: no, XACQUIRE only: no, XRELEASE only: no
                BND: no, BHINT: no, DNT: no
        Operand: 0, Acc:  R-,  Type:   Register, Size: 16, RawSize: 16, Encoding: R, RegType:            Bound, RegSize: 16, RegId: 0, RegCount: 1
        Operand: 1, Acc:  R-,  Type:     Memory, Size:  8, RawSize:  8, Encoding: M, Address Generator: yes, 
                Base: 3, 

