.byte 0x67; bndmk  (%rax),%bnd1
.byte 0x67; bndmk  0x3(%rcx,%rbx,1),%bnd1
.byte 0x67; bndmov (%r8),%bnd1
.byte 0x67; bndmov 0x3(%r9,%rdx,1),%bnd1
.byte 0x67; bndmov %bnd1,(%rax)
.byte 0x67; bndmov %bnd1,0x3(%rcx,%rax,1)
.byte 0x67; bndcl  (%rcx),%bnd1
.byte 0x67; bndcl  0x3(%rcx,%rax,1),%bnd1
.byte 0x67; bndcu  (%rcx),%bnd1
.byte 0x67; bndcu  0x3(%rcx,%rax,1),%bnd1
.byte 0x67; bndcn  (%rcx),%bnd1
.byte 0x67; bndcn  0x3(%rcx,%rax,1),%bnd1
.byte 0x67; bndstx %bnd0,0x3(%rax,%rbx,1)
.byte 0x67; bndstx %bnd2,0x3(%rbx)
.byte 0x67; bndldx 0x3(%rax,%rbx,1),%bnd0
.byte 0x67; bndldx 0x3(%rbx),%bnd2
.byte 0x67; bndmk  (%rax),%bnd1
.byte 0x67; bndmk  0x3(%rdx,%rax,1),%bnd1
.byte 0x67; bndmov (%rax),%bnd1
.byte 0x67; bndmov 0x3(%rdx,%rax,1),%bnd1
.byte 0x67; bndmov %bnd1,(%rax)
.byte 0x67; bndmov %bnd1,0x3(%rdx,%rax,1)
.byte 0x67; bndcl  (%rax),%bnd1
.byte 0x67; bndcl  0x3(%rdx,%rax,1),%bnd1
.byte 0x67; bndcu  (%rax),%bnd1
.byte 0x67; bndcu  0x3(%rdx,%rax,1),%bnd1
.byte 0x67; bndcn  (%rax),%bnd1
.byte 0x67; bndcn  0x3(%rdx,%rax,1),%bnd1
.byte 0x67; bndstx %bnd0,0x3(%rax,%rbx,1)
.byte 0x67; bndstx %bnd2,0x3(,%rbx,1)
.byte 0x67; bndldx 0x3(%rax,%rbx,1),%bnd0
.byte 0x67; bndldx 0x3(,%rbx,1),%bnd2