{"0cc175b9c0f1b6a831c399e269772661", "a", "md5\x01gE#\x01\xefͫ\x89\x98\xba\xdc\xfe\x102Tv\x00\x00\x00\x00\x00\x00\x00\x00\x00\...

	{"a9993e364706816aba3e25717850c26c9cd0d89d", "abc", "sha\x01gE#\x01\xef\u036b\x89\x98\xba\xdc\xfe\x102Tv\xc3\xd2\xe1\xf0a\x00\x...

		t += p.Uint64()
	}
	Sink = t
}

func TestPCGMarshal(t *testing.T) {
	var p PCG
	const (
		seed1 = 0x123456789abcdef0
		seed2 = 0xfedcba9876543210
		want  = "pcg:\x12\x34\x56\x78\x9a\xbc\xde\xf0\xfe\xdc\xba\x98\x76\x54\x32\x10"
	)
	p.Seed(seed1, seed2)
	data, err := p.MarshalBinary()
	if string(data) != want || err != nil {
		t.Errorf("MarshalBinary() = %q, %v, want %q, nil", data, err, want)
	}

	q := PCG{}

	var x95 uint64
	var x96 uint64
	x95, x96 = bits.Add64(x75, x87, uint64(0x0))
	var x97 uint64
	var x98 uint64
	x97, x98 = bits.Add64(x77, x89, uint64(p224Uint1(x96)))
	var x99 uint64
	var x100 uint64
	x99, x100 = bits.Add64(x79, x91, uint64(p224Uint1(x98)))
	var x101 uint64
	var x102 uint64

	fiatScalarCmovznzU64(&x96, fiatScalarUint1(x94), x87, x80)
	var x97 uint64
	fiatScalarCmovznzU64(&x97, fiatScalarUint1(x94), x89, x82)
	var x98 uint64
	fiatScalarCmovznzU64(&x98, fiatScalarUint1(x94), x91, x84)
	out1[0] = x95
	out1[1] = x96
	out1[2] = x97
	out1[3] = x98
}

// fiatScalarToMontgomery translates a field element into the Montgomery domain.
//
// Preconditions:
//
//	0 ≤ eval arg1 < m
//

	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
	var x100 [10<<20]byte
	var x101 [10<<20]byte
	var x102 [10<<20]byte
	var x103 [10<<20]byte
	var x104 [10<<20]byte
	var x105 [10<<20]byte
	var x106 [10<<20]byte

	"\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",
	"\x9D", "%9D",
	"\x9E", "%9E",
	"\x9F", "%9F",
	"\xA0", "%A0",
	"\xA1", "%A1",
	"\xA2", "%A2",
	"\xA3", "%A3",

	var x94 uint64
	x93, x94 = bits.Add64(x71, x85, uint64(p256Uint1(x92)))
	var x95 uint64
	var x96 uint64
	x95, x96 = bits.Add64(x73, x87, uint64(p256Uint1(x94)))
	var x97 uint64
	var x98 uint64
	x97, x98 = bits.Add64(x75, x89, uint64(p256Uint1(x96)))
	var x99 uint64
	var x100 uint64
	x100, x99 = bits.Mul64(x91, 0xffffffff00000001)
	var x101 uint64
	var x102 uint64

	{0x28c4a3f3b769e078, 0x57c891e39a97d9b7, "You remind me of a TV show, but that's all right: I watch it anyway.", "crc\x02s\xba\x84\x84\xbb\xcd]\xef\x03\x8bd\x1c\xb0_\x16\x98", "crc\x02`&\x9aR\xe1\xb7\xfee\xafW\x98\xaa\"\xe7\xd7|"},
	{0xa698a34c9d9f1dca, 0xa1f46ba20ad06eb7, "C is as portable as Stonehedge!!", "crc\x02s\xba\x84\x84\xbb\xcd]\xef.P\xe1I\xc6pi\xdc", "crc\x02`&\x9aR\xe1\xb7\xfee֚\x06\x01(\xc0\x1e\x8b"},

	var x94 uint64
	var x95 uint64
	x94, x95 = bits.Add64(x59, x81, uint64(p384Uint1(x93)))
	var x96 uint64
	var x97 uint64
	x96, x97 = bits.Add64(x61, x83, uint64(p384Uint1(x95)))
	var x98 uint64
	var x99 uint64
	x98, x99 = bits.Add64(x63, x85, uint64(p384Uint1(x97)))
	var x100 uint64
	var x101 uint64
	x100, x101 = bits.Add64(x65, x87, uint64(p384Uint1(x99)))
	var x102 uint64
	var x103 uint64