.code16
	.include "mpx.s"

	.att_syntax prefix
	.code32
bad16: # 16-bit addressing mode seen by the disassembler
	bndmk	(%eax), %bnd0
	bndmov	(%eax), %bnd0
	bndcl	(%eax), %bnd0
	bndcn	(%eax), %bnd0
	bndcu	(%eax), %bnd0
	bndstx	%bnd0, (%eax)
	bndldx	(%eax), %bnd0