x88, x87 = bits.Mul64(x43, 0xffffffffffffffff)
	var x89 uint64
	var x90 uint64
	x90, x89 = bits.Mul64(x43, 0xffffffffffffffff)
	var x91 uint64
	var x92 uint64
	x92, x91 = bits.Mul64(x43, 0xffffffffffffffff)
	var x93 uint64
	var x94 uint64
	x93, x94 = bits.Add64(x92, x89, uint64(0x0))
	var x95 uint64
	var x96 uint64
	x95, x96 = bits.Add64(x90, x87, uint64(p521Uint1(x94)))
	var x97 uint64
	var x98 uint64