var x59 uint64
	var x60 uint64
	x60, x59 = bits.Mul64(x51, 0xffffffff00000001)
	var x61 uint64
	var x62 uint64
	x62, x61 = bits.Mul64(x51, 0xffffffff)
	var x63 uint64
	var x64 uint64
	x64, x63 = bits.Mul64(x51, 0xffffffffffffffff)
	var x65 uint64
	var x66 uint64
	x65, x66 = bits.Add64(x64, x61, uint64(0x0))
	var x68 uint64
	_, x68 = bits.Add64(x51, x63, uint64(0x0))
	var x69 uint64
	var x70 uint64

	var x50 uint64
	var x51 uint64
	x50, x51 = bits.Add64(x49, x46, uint64(0x0))
	var x53 uint64
	_, x53 = bits.Add64(x36, x48, uint64(0x0))
	var x54 uint64
	var x55 uint64
	x54, x55 = bits.Add64(x38, x50, uint64(fiatScalarUint1(x53)))
	var x56 uint64
	var x57 uint64
	x56, x57 = bits.Add64(x40, (uint64(fiatScalarUint1(x51)) + x47), uint64(fiatScalarUint1(x55)))
	var x58 uint64

	var x48 uint64
	var x49 uint64
	x48, x49 = bits.Add64(x42, arg1[2], uint64(0x0))
	var x50 uint64
	var x51 uint64
	x50, x51 = bits.Add64(x44, uint64(0x0), uint64(p224Uint1(x49)))
	var x52 uint64
	var x53 uint64
	x52, x53 = bits.Add64(x46, uint64(0x0), uint64(p224Uint1(x51)))
	var x54 uint64
	_, x54 = bits.Mul64(x48, 0xffffffffffffffff)
	var x56 uint64
	var x57 uint64

	var x42 [10<<20]byte
	var x43 [10<<20]byte
	var x44 [10<<20]byte
	var x45 [10<<20]byte
	var x46 [10<<20]byte
	var x47 [10<<20]byte
	var x48 [10<<20]byte
	var x49 [10<<20]byte
	var x50 [10<<20]byte
	var x51 [10<<20]byte
	var x52 [10<<20]byte
	var x53 [10<<20]byte
	var x54 [10<<20]byte
	var x55 [10<<20]byte
	var x56 [10<<20]byte
	var x57 [10<<20]byte
	var x58 [10<<20]byte
	var x59 [10<<20]byte
	var x60 [10<<20]byte

	var x48 uint64
	var x49 uint64
	x48, x49 = bits.Add64(x39, x36, uint64(p384Uint1(x47)))
	var x50 uint64
	var x51 uint64
	x50, x51 = bits.Add64(x37, x34, uint64(p384Uint1(x49)))
	var x52 uint64
	var x53 uint64
	x52, x53 = bits.Add64(x35, x32, uint64(p384Uint1(x51)))
	x54 := (uint64(p384Uint1(x53)) + x33)
	var x56 uint64
	_, x56 = bits.Add64(x17, x42, uint64(0x0))
	var x57 uint64
	var x58 uint64

	"\x06\x86\x46\xc6\x26\xa6\x66\xe6\x16\x96\x56\xd6\x36\xb6\x76\xf6" +
	"\x0e\x8e\x4e\xce\x2e\xae\x6e\xee\x1e\x9e\x5e\xde\x3e\xbe\x7e\xfe" +
	"\x01\x81\x41\xc1\x21\xa1\x61\xe1\x11\x91\x51\xd1\x31\xb1\x71\xf1" +
	"\x09\x89\x49\xc9\x29\xa9\x69\xe9\x19\x99\x59\xd9\x39\xb9\x79\xf9" +
	"\x05\x85\x45\xc5\x25\xa5\x65\xe5\x15\x95\x55\xd5\x35\xb5\x75\xf5" +
	"\x0d\x8d\x4d\xcd\x2d\xad\x6d\xed\x1d\x9d\x5d\xdd\x3d\xbd\x7d\xfd" +

		"\x00\x10\x0b\x0c\x0e\x0c\x0a\x10\x0e\x0d\x0e\x12\x11\x10\x13\x18" +
		"\x28\x1a\x18\x16\x16\x18\x31\x23\x25\x1d\x28\x3a\x33\x3d\x3c\x39" +
		"\x33\x38\x37\x40\x48\x5c\x4e\x40\x44\x57\x45\x37\x38\x50\x6d\x51" +
		"\x57\x5f\x62\x67\x68\x67\x3e\x4d\x71\x79\x70\x64\x78\x5c\x65\x67" +
		"\x63\xff\xc0\x00\x0b\x08\x20\x00\x20\x00\x01\x01\x11\x00\xff\xc4" +
		"\x00\x1f\x00\x00\x01\x05\x01\x01\x01\x01\x01\x01\x00\x00\x00\x00" +

		io.ErrUnexpectedEOF,
	},
	// This example comes from https://en.wikipedia.org/wiki/Graphics_Interchange_Format.
	{
		"gif;LSB;8",
		"\x28\xff\xff\xff\x28\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff",
		"\x00\x51\xfc\x1b\x28\x70\xa0\xc1\x83\x01\x01",
		nil,
	},
	// This example comes from http://compgroups.net/comp.lang.ruby/Decompressing-LZW-compression-from-PDF-file
	{
		"pdf;MSB;8",
		"-----A---B",

	var x48 uint64
	var x49 uint64
	x48, x49 = bits.Add64(uint64(0x0), x30, uint64(p521Uint1(x47)))
	var x50 uint64
	var x51 uint64
	x50, x51 = bits.Add64(uint64(0x0), x32, uint64(p521Uint1(x49)))
	var x52 uint64
	var x53 uint64
	x52, x53 = bits.Add64(uint64(0x0), x34, uint64(p521Uint1(x51)))
	var x54 uint64
	var x55 uint64
	x54, x55 = bits.Add64(x38, arg1[1], uint64(0x0))
	var x56 uint64
	var x57 uint64

    X34,
    X35,
    X36,
    X37,
    X38,
    X39,
    X40,
    X41,
    X42,
    X43,
    X44,
    X45,
    X46,
    X47,
    X48,
    X49,
    X50,
    X51,
    X52,
    X53,
    X54,
    X55,
    X56,
    X57,
    X58,
    X59,
    X60,
    X61,
    X62,
    X63,
    X64,
    X65,
    X66,
    X67,
    X68,