VPDPBUSDS X25, X14, K4, X13                        // 62120d0c51e9
	VPDPBUSDS X11, X14, K4, X13                        // 62520d0c51eb
	VPDPBUSDS X17, X14, K4, X13                        // 62320d0c51e9
	VPDPBUSDS 7(AX)(CX*4), X14, K4, X13                // 62720d0c51ac8807000000
	VPDPBUSDS 7(AX)(CX*1), X14, K4, X13                // 62720d0c51ac0807000000
	VPDPBUSDS X25, X0, K4, X13                         // 62127d0c51e9

	VPSHUFBITQMB X24, X13, K6, K0                      // 6292150e8fc0
	VPSHUFBITQMB X7, X13, K6, K0                       // 62f2150e8fc7
	VPSHUFBITQMB X0, X13, K6, K0                       // 62f2150e8fc0
	VPSHUFBITQMB (R8), X13, K6, K0                     // 62d2150e8f00
	VPSHUFBITQMB 15(DX)(BX*2), X13, K6, K0             // 62f2150e8f845a0f000000

	VPERMT2B -17(BP)(SI*1), X9, K7, X20                // 62e2350f7da435efffffff
	VPERMT2B X2, X13, K7, X20                          // 62e2150f7de2
	VPERMT2B X8, X13, K7, X20                          // 62c2150f7de0
	VPERMT2B X9, X13, K7, X20                          // 62c2150f7de1
	VPERMT2B (BX), X13, K7, X20                        // 62e2150f7d23
	VPERMT2B -17(BP)(SI*1), X13, K7, X20               // 62e2150f7da435efffffff

	VRCP28SD X25, X14, K4, X13                         // 62128d0ccbe9
	VRCP28SD X11, X14, K4, X13                         // 62528d0ccbeb
	VRCP28SD X17, X14, K4, X13                         // 62328d0ccbe9
	VRCP28SD X25, X0, K4, X13                          // 6212fd0ccbe9
	VRCP28SD X11, X0, K4, X13                          // 6252fd0ccbeb
	VRCP28SD X17, X0, K4, X13                          // 6232fd0ccbe9

	VPLZCNTQ X9, K2, X13                               // 6252fd0a44e9
	VPLZCNTQ X15, K2, X13                              // 6252fd0a44ef
	VPLZCNTQ X26, K2, X13                              // 6212fd0a44ea
	VPLZCNTQ -17(BP), K2, X13                          // 6272fd0a44adefffffff
	VPLZCNTQ -15(R14)(R15*8), K2, X13                  // 6212fd0a44acfef1ffffff

	VAESENC X14, X16, X13                              // 62527d00dcee or 6252fd00dcee
	VAESENC X19, X16, X13                              // 62327d00dceb or 6232fd00dceb
	VAESENC X8, X16, X13                               // 62527d00dce8 or 6252fd00dce8
	VAESENC 99(R15)(R15*8), X16, X13                   // 62127d00dcacff63000000 or 6212fd00dcacff63000000

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

	{"R15", "R15"},
	{"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"},

		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 {