VPDPWSSDS 17(SP)(BP*8), X15, K2, X30               // 6262050a53b4ec11000000
	VPDPWSSDS 17(SP)(BP*4), X15, K2, X30               // 6262050a53b4ac11000000
	VPDPWSSDS X13, X30, K2, X30                        // 62420d0253f5
	VPDPWSSDS X6, X30, K2, X30                         // 62620d0253f6
	VPDPWSSDS X12, X30, K2, X30                        // 62420d0253f4
	VPDPWSSDS 17(SP)(BP*8), X30, K2, X30               // 62620d0253b4ec11000000

	VRCP28SS X6, X15, K2, X30                          // 6262050acbf6
	VRCP28SS X12, X15, K2, X30                         // 6242050acbf4
	VRCP28SS X13, X30, K2, X30                         // 62420d02cbf5
	VRCP28SS X6, X30, K2, X30                          // 62620d02cbf6
	VRCP28SS X12, X30, K2, X30                         // 62420d02cbf4
	VRCP28SS X13, X11, K2, X3                          // 62d2250acbdd

	VPERMB X0, X2, K1, X30                             // 62626d098df0
	VPERMB 7(SI)(DI*4), X2, K1, X30                    // 62626d098db4be07000000
	VPERMB -7(DI)(R8*2), X2, K1, X30                   // 62226d098db447f9ffffff
	VPERMB X26, X9, K1, X30                            // 620235098df2
	VPERMB X19, X9, K1, X30                            // 622235098df3

	VAESENC X14, X16, X30                              // 62427d00dcf6 or 6242fd00dcf6
	VAESENC X19, X16, X30                              // 62227d00dcf3 or 6222fd00dcf3
	VAESENC X8, X16, X30                               // 62427d00dcf0 or 6242fd00dcf0
	VAESENC 99(R15)(R15*8), X16, X30                   // 62027d00dcb4ff63000000 or 6202fd00dcb4ff63000000

	x23 := (uint8(x22) & 0xff)
	x24 := (x22 >> 8)
	x25 := (uint8(x24) & 0xff)
	x26 := (x24 >> 8)
	x27 := (uint8(x26) & 0xff)
	x28 := (x26 >> 8)
	x29 := (uint8(x28) & 0xff)
	x30 := (x28 >> 8)
	x31 := (uint8(x30) & 0xff)
	x32 := uint8((x30 >> 8))
	x33 := (uint8(x2) & 0xff)
	x34 := (x2 >> 8)
	x35 := (uint8(x34) & 0xff)
	x36 := (x34 >> 8)
	x37 := (uint8(x36) & 0xff)
	x38 := (x36 >> 8)

	var x26 uint64
	var x27 uint64
	x26, x27 = bits.Add64(x25, x22, uint64(0x0))
	x28 := (uint64(p256Uint1(x27)) + x23)
	var x30 uint64
	_, x30 = bits.Add64(x11, x24, uint64(0x0))
	var x31 uint64
	var x32 uint64
	x31, x32 = bits.Add64(x13, x26, uint64(p256Uint1(x30)))
	var x33 uint64
	var x34 uint64
	x33, x34 = bits.Add64(x15, x28, uint64(p256Uint1(x32)))
	var x35 uint64
	var x36 uint64

	x26, x25 = bits.Mul64(x19, 0x5812631a5cf5d3ed)
	var x27 uint64
	var x28 uint64
	x27, x28 = bits.Add64(x26, x23, uint64(0x0))
	var x30 uint64
	_, x30 = bits.Add64(x11, x25, uint64(0x0))
	var x31 uint64
	var x32 uint64
	x31, x32 = bits.Add64(x13, x27, uint64(fiatScalarUint1(x30)))
	var x33 uint64
	var x34 uint64
	x33, x34 = bits.Add64(x15, (uint64(fiatScalarUint1(x28)) + x24), uint64(fiatScalarUint1(x32)))

	CTZ	X24, X25				// 931c1c60
	CTZW	X25, X26				// 1b9d1c60
	MAX	X26, X28, X29				// b36eae0b
	MAX	X26, X28				// 336eae0b
	MAXU	X28, X29, X30				// 33ffce0b
	MAXU	X28, X29				// b3fece0b
	MIN	X29, X30, X5				// b342df0b
	MIN	X29, X30				// 334fdf0b
	MINU	X30, X5, X6				// 33d3e20b
	MINU	X30, X5					// b3d2e20b
	ORN	X6, X7, X8				// 33e46340
	ORN	X6, X7					// b3e36340
	SEXTB	X16, X17				// 93184860

	if err == nil {
		t.Errorf("invalid UTF8 string was accepted")
	}
}

func TestMarshalOID(t *testing.T) {
	var marshalTestsOID = []marshalTest{
		{[]byte("\x06\x01\x30"), "0403060130"}, // bytes format returns a byte sequence \x04
		// {ObjectIdentifier([]int{0}), "060100"}, // returns an error as OID 0.0 has the same encoding

    X13,
    X14,
    X15,
    X16,
    X17,
    X18,
    X19,
    X20,
    X21,
    X22,
    X23,
    X24,
    X25,
    X26,
    X27,
    X28,
    X29,
    X30,
    X31,
    X32,
    X33,
    X34,
    X35,
    X36,
    X37,
    X38,
    X39,
    X40,
    X41,
    X42,
    X43,
    X44,
    X45,
    X46,
    X47,