VERIMG $32, R_0, T_0, R_0   // [_,  r²₂₆[0], _,  r₂₆[0]]
	VERIMG $32, R_1, T_0, R_1   // [_,  r²₂₆[1], _,  r₂₆[1]]
	VERIMG $32, R_2, T_0, R_2   // [_,  r²₂₆[2], _,  r₂₆[2]]
	VERIMG $32, R_3, T_0, R_3   // [_,  r²₂₆[3], _,  r₂₆[3]]
	VERIMG $32, R_4, T_0, R_4   // [_,  r²₂₆[4], _,  r₂₆[4]]
	VERIMG $32, R5_1, T_0, R5_1 // [_, 5r²₂₆[1], _, 5r₂₆[1]]
	VERIMG $32, R5_2, T_0, R5_2 // [_, 5r²₂₆[2], _, 5r₂₆[2]]

	"VCTZF",
	"VCTZG",
	"VEC",
	"VECB",
	"VECH",
	"VECF",
	"VECG",
	"VECL",
	"VECLB",
	"VECLH",
	"VECLF",
	"VECLG",
	"VERIM",
	"VERIMB",
	"VERIMH",
	"VERIMF",
	"VERIMG",
	"VERLL",
	"VERLLB",
	"VERLLH",
	"VERLLF",
	"VERLLG",
	"VERLLV",
	"VERLLVB",
	"VERLLVH",
	"VERLLVF",
	"VERLLVG",
	"VESLV",
	"VESLVB",
	"VESLVH",
	"VESLVF",
	"VESLVG",