1	.code16
2	.include "mpx.s"
3
4	.att_syntax prefix
5	.code32
6bad16: # 16-bit addressing mode seen by the disassembler
7	bndmk	(%eax), %bnd0
8	bndmov	(%eax), %bnd0
9	bndcl	(%eax), %bnd0
10	bndcn	(%eax), %bnd0
11	bndcu	(%eax), %bnd0
12	bndstx	%bnd0, (%eax)
13	bndldx	(%eax), %bnd0
14