[
	{
		"description": "Test MPX instruction in 64 bit mode",
		"id": "mpx-64",
		"format": "elf64",
		"source": "mpx-64.asm",
		"option": "-O0",
		"target": [
		    { "output": "mpx-64.o" },
		    { "stderr": "mpx-64.stderr" }
		]
	}
]