"VDPPS",
	"VERR",
	"VERW",
	"VEXP2PD",
	"VEXP2PS",
	"VEXPANDPD",
	"VEXPANDPS",
	"VEXTRACTF128",
	"VEXTRACTF32X4",
	"VEXTRACTF32X8",
	"VEXTRACTF64X2",
	"VEXTRACTF64X4",
	"VEXTRACTI128",
	"VEXTRACTI32X4",
	"VEXTRACTI32X8",
	"VEXTRACTI64X2",
	"VEXTRACTI64X4",
	"VEXTRACTPS",
	"VFIXUPIMMPD",
	"VFIXUPIMMPS",
	"VFIXUPIMMSD",
	"VFIXUPIMMSS",
	"VFMADD132PD",

	VEXTRACTI128 $7, Y2, (BX)               // c4e37d391307
	VEXTRACTI128 $7, Y11, (BX)              // c4637d391b07
	VEXTRACTI128 $7, Y2, (R11)              // c4c37d391307
	VEXTRACTI128 $7, Y11, (R11)             // c4437d391b07
	VEXTRACTI128 $7, Y2, X2                 // c4e37d39d207
	VEXTRACTI128 $7, Y11, X2                // c4637d39da07
	VEXTRACTI128 $7, Y2, X11                // c4c37d39d307

	VPSRLQ $-1, Y1, Y2           // c5ed73d1ff
	VPEXTRW $-1, X1, (AX)        // c4e3791508ff
	VPEXTRW $-1, X1, AX          // c4e37915c8ff
	VEXTRACTF128 $-1, Y1, X2     // c4e37d19caff
	VEXTRACTI128 $-1, Y1, X2     // c4e37d39caff
	VAESKEYGENASSIST $-1, X1, X2 // c4e379dfd1ff
	VPCMPESTRI $-1, X1, X2       // c4e37961d1ff
	VPCMPESTRM $-1, X1, X2       // c4e37960d1ff
	VPCMPISTRI $-1, X1, X2       // c4e37963d1ff