VPMADD52LUQ (BP), X7, K1, X24                      // 6262c509b44500
	VPMADD52LUQ X5, X14, K1, X24                       // 62628d09b4c5
	VPMADD52LUQ X31, X14, K1, X24                      // 62028d09b4c7
	VPMADD52LUQ X3, X14, K1, X24                       // 62628d09b4c3
	VPMADD52LUQ 15(R8), X14, K1, X24                   // 62428d09b4800f000000
	VPMADD52LUQ (BP), X14, K1, X24                     // 62628d09b44500

	VPDPBUSDS X25, X14, K4, X19                        // 62820d0c51d9
	VPDPBUSDS X11, X14, K4, X19                        // 62c20d0c51db
	VPDPBUSDS X17, X14, K4, X19                        // 62a20d0c51d9
	VPDPBUSDS 7(AX)(CX*4), X14, K4, X19                // 62e20d0c519c8807000000
	VPDPBUSDS 7(AX)(CX*1), X14, K4, X19                // 62e20d0c519c0807000000

	VAESENC X14, X14, X30                              // 62420d08dcf6 or 62428d08dcf6
	VAESENC X19, X14, X30                              // 62220d08dcf3 or 62228d08dcf3
	VAESENC X8, X14, X30                               // 62420d08dcf0 or 62428d08dcf0
	VAESENC 99(R15)(R15*8), X14, X30                   // 62020d08dcb4ff63000000 or 62028d08dcb4ff63000000

	VPOPCNTB X8, K4, X14                               // 62527d0c54f0
	VPOPCNTB 15(R8)(R14*1), K4, X14                    // 62127d0c54b4300f000000
	VPOPCNTB 15(R8)(R14*2), K4, X14                    // 62127d0c54b4700f000000
	VPOPCNTB X14, K4, X11                              // 62527d0c54de
	VPOPCNTB X19, K4, X11                              // 62327d0c54db

	VRCP28PS -7(CX)(DX*2), K3, Z6                      // 62f27d4bcab451f9ffffff
	VRCP28SD X25, X14, K4, X19                         // 62828d0ccbd9
	VRCP28SD X11, X14, K4, X19                         // 62c28d0ccbdb
	VRCP28SD X17, X14, K4, X19                         // 62a28d0ccbd9
	VRCP28SD X25, X0, K4, X19                          // 6282fd0ccbd9

	VPMULTISHIFTQB X14, X24, K5, X7                    // 62d2bd0583fe
	VPMULTISHIFTQB 17(SP)(BP*1), X24, K5, X7           // 62f2bd0583bc2c11000000
	VPMULTISHIFTQB -7(CX)(DX*8), X24, K5, X7           // 62f2bd0583bcd1f9ffffff
	VPMULTISHIFTQB X9, X20, K5, X7                     // 62d2dd0583f9
	VPMULTISHIFTQB X7, X20, K5, X7                     // 62f2dd0583ff
	VPMULTISHIFTQB X14, X20, K5, X7                    // 62d2dd0583fe

    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,
    X27,
    X28,
    X29,
    X30,
    X31,

	{"R8", "R8"},
	{"R9", "R9"},
	{"g", "R14"},
	{"SI", "SI"},
	{"SP", "SP"},
	{"X0", "X0"},
	{"X1", "X1"},
	{"X10", "X10"},
	{"X11", "X11"},
	{"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)"},

		if len(val) >= 32 {
			want := val[:32]
			data := val[32:]
			const magicHighwayHash256Key = "\x4b\xe7\x34\xfa\x8e\x23\x8a\xcd\x26\x3e\x83\xe6\xbb\x96\x85\x52\x04\x0f\x93\x5d\xa3\x9f\x44\x14\x97\xe0\x9d\x13\x22\xde\x36\xa0"

			hh, _ := highwayhash.New([]byte(magicHighwayHash256Key))
			hh.Write(data)
			got := hh.Sum(nil)
			if bytes.Equal(want, got) {
				s += ", \"bitrot_valid\": true"
			} else {