1.byte 0x67; bndmk (%rax),%bnd1 2.byte 0x67; bndmk 0x3(%rcx,%rbx,1),%bnd1 3.byte 0x67; bndmov (%r8),%bnd1 4.byte 0x67; bndmov 0x3(%r9,%rdx,1),%bnd1 5.byte 0x67; bndmov %bnd1,(%rax) 6.byte 0x67; bndmov %bnd1,0x3(%rcx,%rax,1) 7.byte 0x67; bndcl (%rcx),%bnd1 8.byte 0x67; bndcl 0x3(%rcx,%rax,1),%bnd1 9.byte 0x67; bndcu (%rcx),%bnd1 10.byte 0x67; bndcu 0x3(%rcx,%rax,1),%bnd1 11.byte 0x67; bndcn (%rcx),%bnd1 12.byte 0x67; bndcn 0x3(%rcx,%rax,1),%bnd1 13.byte 0x67; bndstx %bnd0,0x3(%rax,%rbx,1) 14.byte 0x67; bndstx %bnd2,0x3(%rbx) 15.byte 0x67; bndldx 0x3(%rax,%rbx,1),%bnd0 16.byte 0x67; bndldx 0x3(%rbx),%bnd2 17.byte 0x67; bndmk (%rax),%bnd1 18.byte 0x67; bndmk 0x3(%rdx,%rax,1),%bnd1 19.byte 0x67; bndmov (%rax),%bnd1 20.byte 0x67; bndmov 0x3(%rdx,%rax,1),%bnd1 21.byte 0x67; bndmov %bnd1,(%rax) 22.byte 0x67; bndmov %bnd1,0x3(%rdx,%rax,1) 23.byte 0x67; bndcl (%rax),%bnd1 24.byte 0x67; bndcl 0x3(%rdx,%rax,1),%bnd1 25.byte 0x67; bndcu (%rax),%bnd1 26.byte 0x67; bndcu 0x3(%rdx,%rax,1),%bnd1 27.byte 0x67; bndcn (%rax),%bnd1 28.byte 0x67; bndcn 0x3(%rdx,%rax,1),%bnd1 29.byte 0x67; bndstx %bnd0,0x3(%rax,%rbx,1) 30.byte 0x67; bndstx %bnd2,0x3(,%rbx,1) 31.byte 0x67; bndldx 0x3(%rax,%rbx,1),%bnd0 32.byte 0x67; bndldx 0x3(,%rbx,1),%bnd2 33