x77, x78 = bits.Add64(x58, x72, uint64(p256Uint1(x76)))
	var x79 uint64
	var x80 uint64
	x79, x80 = bits.Add64(x60, x64, uint64(p256Uint1(x78)))
	var x81 uint64
	var x82 uint64
	x81, x82 = bits.Add64(x62, x65, uint64(p256Uint1(x80)))
	x83 := (uint64(p256Uint1(x82)) + uint64(p256Uint1(x63)))
	var x84 uint64
	var x85 uint64
	x85, x84 = bits.Mul64(x2, arg2[3])
	var x86 uint64
	var x87 uint64
	x87, x86 = bits.Mul64(x2, arg2[2])

	var x79 uint64
	var x80 uint64
	x79, x80 = bits.Add64(x58, x74, uint64(fiatScalarUint1(x78)))
	var x81 uint64
	var x82 uint64
	x81, x82 = bits.Add64(x60, x76, uint64(fiatScalarUint1(x80)))
	var x83 uint64
	var x84 uint64
	x83, x84 = bits.Add64(x62, x68, uint64(fiatScalarUint1(x82)))
	var x85 uint64
	var x86 uint64
	x85, x86 = bits.Add64(x64, x69, uint64(fiatScalarUint1(x84)))

	var x78 uint64
	var x79 uint64
	x78, x79 = bits.Add64(x73, x70, uint64(p224Uint1(x77)))
	x80 := (uint64(p224Uint1(x79)) + x71)
	var x82 uint64
	_, x82 = bits.Add64(x58, x68, uint64(0x0))
	var x83 uint64
	var x84 uint64
	x83, x84 = bits.Add64(x60, x74, uint64(p224Uint1(x82)))
	var x85 uint64
	var x86 uint64
	x85, x86 = bits.Add64(x62, x76, uint64(p224Uint1(x84)))
	var x87 uint64
	var x88 uint64

		"TOBEORNOTTOBEORTOBEORNOT",
		"\x54\x4f\x42\x45\x4f\x52\x4e\x4f\x54\x82\x84\x86\x8b\x85\x87\x89\x81",
		nil,
	},
	{
		"tobe;LSB;8",
		"TOBEORNOTTOBEORTOBEORNOT",
		"\x54\x9e\x08\x29\xf2\x44\x8a\x93\x27\x54\x04\x12\x34\xb8\xb0\xe0\xc1\x84\x01\x01",
		nil,
	},
	{
		"tobe;MSB;7",
		"TOBEORNOTTOBEORTOBEORNOT",
		"\x54\x4f\x42\x45\x4f\x52\x4e\x4f\x54\x82\x84\x86\x8b\x85\x87\x89\x81",
		nil,
	},
	{
		"tobe;MSB;8",

	"\x18", "%18",
	"\x19", "%19",
	"\x1A", "%1A",
	"\x1B", "%1B",
	"\x1C", "%1C",
	"\x1D", "%1D",
	"\x1E", "%1E",
	"\x1F", "%1F",
	"\x7F", "%7F",
	"\x80", "%80",
	"\x81", "%81",
	"\x82", "%82",
	"\x83", "%83",
	"\x84", "%84",
	"\x85", "%85",
	"\x86", "%86",
	"\x87", "%87",
	"\x88", "%88",
	"\x89", "%89",
	"\x8A", "%8A",
	"\x8B", "%8B",
	"\x8C", "%8C",
	"\x8D", "%8D",

	var x73 [10<<20]byte
	var x74 [10<<20]byte
	var x75 [10<<20]byte
	var x76 [10<<20]byte
	var x77 [10<<20]byte
	var x78 [10<<20]byte
	var x79 [10<<20]byte
	var x80 [10<<20]byte
	var x81 [10<<20]byte
	var x82 [10<<20]byte
	var x83 [10<<20]byte
	var x84 [10<<20]byte
	var x85 [10<<20]byte
	var x86 [10<<20]byte
	var x87 [10<<20]byte
	var x88 [10<<20]byte
	var x89 [10<<20]byte
	var x90 [10<<20]byte

	x78, x77 = bits.Mul64(x1, arg2[1])
	var x79 uint64
	var x80 uint64
	x80, x79 = bits.Mul64(x1, arg2[0])
	var x81 uint64
	var x82 uint64
	x81, x82 = bits.Add64(x80, x77, uint64(0x0))
	var x83 uint64
	var x84 uint64
	x83, x84 = bits.Add64(x78, x75, uint64(p384Uint1(x82)))
	var x85 uint64
	var x86 uint64
	x85, x86 = bits.Add64(x76, x73, uint64(p384Uint1(x84)))
	var x87 uint64
	var x88 uint64

	{0x312a6aa6, 0xe627f441, "abcdefg", "crc\x01ʇ\x91M5$A\xc2", "crc\x01wB\x84\x816K?\xb7"},
	{0xaeef2a50, 0xa9421b7, "abcdefgh", "crc\x01ʇ\x91M\xed\x82\xcd\x11", "crc\x01wB\x84\x81\x92\xc8\n1"},
	{0x8da988af, 0x2ddc99fc, "abcdefghi", "crc\x01ʇ\x91M\xed\x82\xcd\x11", "crc\x01wB\x84\x81\x92\xc8\n1"},
	{0x3981703a, 0xe6599437, "abcdefghij", "crc\x01ʇ\x91M\x85\x87\xd8e", "crc\x01wB\x84\x81\xc4P֗"},

				var b bytes.Buffer
				return &b, func(t *testing.T) {
					// {'kind': 'kList', 'items': [{'foo': 1}, {'foo': 2}], 'apiVersion': 'v'}
					if diff := cmp.Diff(b.Bytes(), []byte("\xd9\xd9\xf7\xa3\x44kind\x45kList\x45items\x82\xa1\x43foo\x01\xa1\x43foo\x02\x4aapiVersion\x41v")); diff != "" {
						t.Errorf("unexpected diff:\n%s", diff)
					}
				}
			},
			assertOnError: func(t *testing.T, err error) {
				if err != nil {

	"\x08\x88\x48\xc8\x28\xa8\x68\xe8\x18\x98\x58\xd8\x38\xb8\x78\xf8" +
	"\x04\x84\x44\xc4\x24\xa4\x64\xe4\x14\x94\x54\xd4\x34\xb4\x74\xf4" +
	"\x0c\x8c\x4c\xcc\x2c\xac\x6c\xec\x1c\x9c\x5c\xdc\x3c\xbc\x7c\xfc" +
	"\x02\x82\x42\xc2\x22\xa2\x62\xe2\x12\x92\x52\xd2\x32\xb2\x72\xf2" +
	"\x0a\x8a\x4a\xca\x2a\xaa\x6a\xea\x1a\x9a\x5a\xda\x3a\xba\x7a\xfa" +
	"\x06\x86\x46\xc6\x26\xa6\x66\xe6\x16\x96\x56\xd6\x36\xb6\x76\xf6" +