VPMADD52LUQ X5, X9, K1, X24                        // 6262b509b4c5
	VPMADD52LUQ X31, X9, K1, X24                       // 6202b509b4c7
	VPMADD52LUQ X3, X9, K1, X24                        // 6262b509b4c3
	VPMADD52LUQ 15(R8), X9, K1, X24                    // 6242b509b4800f000000
	VPMADD52LUQ (BP), X9, K1, X24                      // 6262b509b44500

	VPERMB -7(DI)(R8*2), X2, K1, X23                   // 62a26d098dbc47f9ffffff
	VPERMB X26, X9, K1, X23                            // 628235098dfa
	VPERMB X19, X9, K1, X23                            // 62a235098dfb
	VPERMB X0, X9, K1, X23                             // 62e235098df8
	VPERMB 7(SI)(DI*4), X9, K1, X23                    // 62e235098dbcbe07000000
	VPERMB -7(DI)(R8*2), X9, K1, X23                   // 62a235098dbc47f9ffffff

	VRCP28SD X2, X24, K2, X9                           // 6272bd02cbca or 6272bd22cbca or 6272bd42cbca
	VRCP28SD X27, X24, K2, X9                          // 6212bd02cbcb or 6212bd22cbcb or 6212bd42cbcb
	VRCP28SD X26, X24, K2, X9                          // 6212bd02cbca or 6212bd22cbca or 6212bd42cbca

	VGF2P8MULB (BP), X7, K7, X7                        // 62f2450fcf7d00
	VGF2P8MULB X15, X9, K7, X7                         // 62d2350fcfff
	VGF2P8MULB X12, X9, K7, X7                         // 62d2350fcffc
	VGF2P8MULB X0, X9, K7, X7                          // 62f2350fcff8
	VGF2P8MULB 15(R8), X9, K7, X7                      // 62d2350fcfb80f000000
	VGF2P8MULB (BP), X9, K7, X7                        // 62f2350fcf7d00

	VPDPWSSD X2, X2, K3, X9                            // 62726d0b52ca
	VPDPWSSD X27, X2, K3, X9                           // 62126d0b52cb
	VPDPWSSD X26, X2, K3, X9                           // 62126d0b52ca
	VPDPWSSD (SI), X2, K3, X9                          // 62726d0b520e
	VPDPWSSD 7(SI)(DI*2), X2, K3, X9                   // 62726d0b528c7e07000000
	VPDPWSSD X2, X24, K3, X9                           // 62723d0352ca

	VPBROADCASTMW2D K7, X11                            // 62727e083adf
	VPBROADCASTMW2D K6, X11                            // 62727e083ade
	VPBROADCASTMW2D K7, X9                             // 62727e083acf
	VPBROADCASTMW2D K6, X9                             // 62727e083ace
	VPBROADCASTMW2D K4, Y22                            // 62e27e283af4
	VPBROADCASTMW2D K6, Y22                            // 62e27e283af6

	VAESDECLAST X21, X5, X9                            // 62325508dfcd or 6232d508dfcd
	VAESDECLAST X21, X31, X9                           // 62320500dfcd or 62328500dfcd
	VAESDECLAST X1, X31, X9                            // 62720500dfc9 or 62728500dfc9
	VAESDECLAST X11, X31, X9                           // 62520500dfcb or 62528500dfcb

	ZEXTH	X19, X20				// 3bca0908

	// 28.4.2: Bitwise Rotation (Zbb)
	ROL	X8, X9, X10				// 33958460 or b30f8040b3dff4013395840033e5af00
	ROL	X8, X9					// b3948460 or b30f8040b3dff401b3948400b3e49f00
	ROLW	X9, X10, X11				// bb159560 or b30f9040bb5ff501bb159500b3e5bf00
	ROLW	X9, X10					// 3b159560 or b30f9040bb5ff5013b15950033e5af00
	ROR	X10, X11, X12				// 33d6a560 or b30fa040b39ff50133d6a50033e6cf00

  }

  private enum SmallEnum {
    X0,
    X1,
    X2
  }

  private enum MediumEnum {
    X0,
    X1,
    X2,
    X3,
    X4,
    X5,
    X6,
    X7,
    X8,
    X9,
    X10,
    X11,
    X12,
    X13,
    X14,
    X15,
    X16,
    X17,
    X18,
    X19,
    X20,
    X21,
    X22,
    X23,
    X24,
    X25,
    X26,

	{"X12", "X12"},
	{"X13", "X13"},
	{"X14", "X14"},
	{"X15", "X15"},
	{"X2", "X2"},
	{"X3", "X3"},
	{"X4", "X4"},
	{"X5", "X5"},
	{"X6", "X6"},
	{"X7", "X7"},
	{"X8", "X8"},
	{"X9", "X9"},
	{"_expand_key_128<>(SB)", "_expand_key_128<>(SB)"},
	{"_seek<>(SB)", "_seek<>(SB)"},
	{"a2+16(FP)", "a2+16(FP)"},
	{"addr2+24(FP)", "addr2+24(FP)"},
	{"asmcgocall<>(SB)", "asmcgocall<>(SB)"},