VLE8V		(X10), X10			// ERROR "expected vector register in vd position"
	VLE8V		(V1), V3			// ERROR "expected integer register in rs1 position"
	VLE8FFV		(X10), X10			// ERROR "expected vector register in vd position"
	VLE8FFV		(V1), V3			// ERROR "expected integer register in rs1 position"
	VSE8V		X10, (X10)			// ERROR "expected vector register in vs1 position"

	VSOXEI64V	V3, V2, (X10)			// a771250e
	VSOXEI64V	V3, V2, V0, (X10)		// a771250c

	// 31.7.7: Unit-stride Fault-Only-First Loads
	VLE8FFV		(X10), V8			// 07040503
	VLE16FFV	(X10), V8			// 07540503
	VLE32FFV	(X10), V8			// 07640503
	VLE64FFV	(X10), V8			// 07740503
	VLE8FFV		(X10), V0, V8			// 07040501
	VLE16FFV	(X10), V0, V8			// 07540501
	VLE32FFV	(X10), V0, V8			// 07640501
	VLE64FFV	(X10), V0, V8			// 07740501