var x52 uint64
	x51, x52 = bits.Add64(x42, x39, uint64(p256Uint1(x50)))
	x53 := (uint64(p256Uint1(x52)) + x40)
	var x54 uint64
	var x55 uint64
	x54, x55 = bits.Add64(x31, x45, uint64(0x0))
	var x56 uint64
	var x57 uint64
	x56, x57 = bits.Add64(x33, x47, uint64(p256Uint1(x55)))
	var x58 uint64
	var x59 uint64
	x58, x59 = bits.Add64(x35, x49, uint64(p256Uint1(x57)))
	var x60 uint64
	var x61 uint64

	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 x59 uint64

func TestNlitOutOfRange(t *testing.T) {
	// Trying to decode this bogus flate data, which has a Huffman table
	// with nlit=288, should not panic.
	io.Copy(io.Discard, NewReader(strings.NewReader(
		"\xfc\xfe\x36\xe7\x5e\x1c\xef\xb3\x55\x58\x77\xb6\x56\xb5\x43\xf4"+
			"\x6f\xf2\xd2\xe6\x3d\x99\xa0\x85\x8c\x48\xeb\xf8\xda\x83\x04\x2a"+
			"\x75\xc4\xf8\x0f\x12\x11\xb9\xb4\x4b\x09\xa0\xbe\x8b\x91\x4c")))
}

var suites = []struct{ name, file string }{

	var x51 uint64
	var x52 uint64
	x51, x52 = bits.Add64(x50, x47, uint64(0x0))
	var x53 uint64
	var x54 uint64
	x53, x54 = bits.Add64(x48, x45, uint64(p224Uint1(x52)))
	var x55 uint64
	var x56 uint64
	x55, x56 = bits.Add64(x46, x43, uint64(p224Uint1(x54)))
	x57 := (uint64(p224Uint1(x56)) + x44)
	var x58 uint64
	var x59 uint64
	x58, x59 = bits.Add64(x35, x49, uint64(0x0))
	var x60 uint64

	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 x61 [10<<20]byte
	var x62 [10<<20]byte
	var x63 [10<<20]byte
	var x64 [10<<20]byte

	"\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" +
	"\x03\x83\x43\xc3\x23\xa3\x63\xe3\x13\x93\x53\xd3\x33\xb3\x73\xf3" +
	"\x0b\x8b\x4b\xcb\x2b\xab\x6b\xeb\x1b\x9b\x5b\xdb\x3b\xbb\x7b\xfb" +

	var x50 uint64
	var x51 uint64
	x50, x51 = bits.Add64(x38, uint64(0x0), uint64(p384Uint1(x49)))
	var x52 uint64
	_, x52 = bits.Mul64(x40, 0x100000001)
	var x54 uint64
	var x55 uint64
	x55, x54 = bits.Mul64(x52, 0xffffffffffffffff)
	var x56 uint64
	var x57 uint64
	x57, x56 = bits.Mul64(x52, 0xffffffffffffffff)
	var x58 uint64
	var x59 uint64
	x59, x58 = bits.Mul64(x52, 0xffffffffffffffff)

	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
	x56, x57 = bits.Add64(x40, uint64(0x0), uint64(p521Uint1(x55)))
	var x58 uint64
	var x59 uint64
	x58, x59 = bits.Add64(x42, uint64(0x0), uint64(p521Uint1(x57)))
	var x60 uint64

    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,
    X69,
    X70,
    X71,
    X72,

    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,
    X69,
    X70,
    X71,
    X72,