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