var x100 uint64
	x100, x99 = bits.Mul64(x91, 0xffffffff00000001)
	var x101 uint64
	var x102 uint64
	x102, x101 = bits.Mul64(x91, 0xffffffff)
	var x103 uint64
	var x104 uint64
	x104, x103 = bits.Mul64(x91, 0xffffffffffffffff)
	var x105 uint64
	var x106 uint64
	x105, x106 = bits.Add64(x104, x101, uint64(0x0))
	var x108 uint64
	_, x108 = bits.Add64(x91, x103, uint64(0x0))
	var x109 uint64

	x87 := (uint64(fiatScalarUint1(x86)) + uint64(fiatScalarUint1(x65)))
	var x88 uint64
	var x89 uint64
	x89, x88 = bits.Mul64(x2, arg2[3])
	var x90 uint64
	var x91 uint64
	x91, x90 = bits.Mul64(x2, arg2[2])
	var x92 uint64
	var x93 uint64
	x93, x92 = bits.Mul64(x2, arg2[1])
	var x94 uint64
	var x95 uint64
	x95, x94 = bits.Mul64(x2, arg2[0])
	var x96 uint64
	var x97 uint64

	var x86 uint64
	var x87 uint64
	x87, x86 = bits.Mul64(x80, 0xffffffff00000000)
	var x88 uint64
	var x89 uint64
	x88, x89 = bits.Add64(x87, x84, uint64(0x0))
	var x90 uint64
	var x91 uint64
	x90, x91 = bits.Add64(x85, x82, uint64(p224Uint1(x89)))
	var x93 uint64
	_, x93 = bits.Add64(x74, x80, uint64(0x0))
	var x94 uint64
	var x95 uint64
	x94, x95 = bits.Add64(x76, x86, uint64(p224Uint1(x93)))

	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
	var x91 [10<<20]byte
	var x92 [10<<20]byte
	var x93 [10<<20]byte
	var x94 [10<<20]byte
	var x95 [10<<20]byte
	var x96 [10<<20]byte
	var x97 [10<<20]byte
	var x98 [10<<20]byte
	var x99 [10<<20]byte

	"\x86", "%86",
	"\x87", "%87",
	"\x88", "%88",
	"\x89", "%89",
	"\x8A", "%8A",
	"\x8B", "%8B",
	"\x8C", "%8C",
	"\x8D", "%8D",
	"\x8E", "%8E",
	"\x8F", "%8F",
	"\x90", "%90",
	"\x91", "%91",
	"\x92", "%92",
	"\x93", "%93",
	"\x94", "%94",
	"\x95", "%95",
	"\x96", "%96",
	"\x97", "%97",
	"\x98", "%98",
	"\x99", "%99",
	"\x9A", "%9A",
	"\x9B", "%9B",
	"\x9C", "%9C",

	var x90 uint64
	var x91 uint64
	x90, x91 = bits.Add64(x78, arg1[2], uint64(0x0))
	var x92 uint64
	var x93 uint64
	x92, x93 = bits.Add64(x80, uint64(0x0), uint64(p384Uint1(x91)))
	var x94 uint64
	var x95 uint64
	x94, x95 = bits.Add64(x82, uint64(0x0), uint64(p384Uint1(x93)))
	var x96 uint64

	var x88 uint64
	var x89 uint64
	x88, x89 = bits.Add64(x34, x69, uint64(p521Uint1(x87)))
	var x90 uint64
	var x91 uint64
	x90, x91 = bits.Add64(x36, x71, uint64(p521Uint1(x89)))
	var x92 uint64
	var x93 uint64
	x92, x93 = bits.Add64(x38, x73, uint64(p521Uint1(x91)))
	var x94 uint64
	var x95 uint64
	x94, x95 = bits.Add64(x40, x75, uint64(p521Uint1(x93)))
	var x96 uint64
	var x97 uint64

    X74,
    X75,
    X76,
    X77,
    X78,
    X79,
    X80,
    X81,
    X82,
    X83,
    X84,
    X85,
    X86,
    X87,
    X88,
    X89,
    X90,
    X91,
    X92,
    X93,
    X94,
    X95,
    X96,
    X97,
    X98,
    X99
  }

  private enum LargeEnum {
    X0,
    X1,
    X2,
    X3,
    X4,
    X5,

    X74,
    X75,
    X76,
    X77,
    X78,
    X79,
    X80,
    X81,
    X82,
    X83,
    X84,
    X85,
    X86,
    X87,
    X88,
    X89,
    X90,
    X91,
    X92,
    X93,
    X94,
    X95,
    X96,
    X97,
    X98,
    X99
  }

  private enum LargeEnum {
    X0,
    X1,
    X2,
    X3,
    X4,
    X5,

			}
			i++
		}
	}
}

var invalidSequenceTests = []string{
	"\xed\xa0\x80\x80", // surrogate min
	"\xed\xbf\xbf\x80", // surrogate max

	// xx
	"\x91\x80\x80\x80",

	// s1
	"\xC2\x7F\x80\x80",
	"\xC2\xC0\x80\x80",
	"\xDF\x7F\x80\x80",
	"\xDF\xC0\x80\x80",

	// s2
	"\xE0\x9F\xBF\x80",
	"\xE0\xA0\x7F\x80",
	"\xE0\xBF\xC0\x80",