var x176 uint64
	var x177 uint64
	x176, x177 = bits.Add64(x171, x168, uint64(p224Uint1(x175)))
	x178 := (uint64(p224Uint1(x177)) + x169)
	var x180 uint64
	_, x180 = bits.Add64(x156, x166, uint64(0x0))
	var x181 uint64
	var x182 uint64
	x181, x182 = bits.Add64(x158, x172, uint64(p224Uint1(x180)))
	var x183 uint64
	var x184 uint64
	x183, x184 = bits.Add64(x160, x174, uint64(p224Uint1(x182)))

	var x184 [10<<20]byte
	var x185 [10<<20]byte
	var x186 [10<<20]byte
	var x187 [10<<20]byte
	var x188 [10<<20]byte
	var x189 [10<<20]byte
	var x190 [10<<20]byte
	var x191 [10<<20]byte
	var x192 [10<<20]byte
	var x193 [10<<20]byte
	var x194 [10<<20]byte
	var x195 [10<<20]byte
	var x196 [10<<20]byte
	var x197 [10<<20]byte
	var x198 [10<<20]byte
	var x199 [10<<20]byte
	var x200 [10<<20]byte

	var x183 uint64
	_, x183 = bits.Mul64(x169, 0x100000001)
	var x185 uint64
	var x186 uint64
	x186, x185 = bits.Mul64(x183, 0xffffffffffffffff)
	var x187 uint64
	var x188 uint64
	x188, x187 = bits.Mul64(x183, 0xffffffffffffffff)
	var x189 uint64
	var x190 uint64
	x190, x189 = bits.Mul64(x183, 0xffffffffffffffff)
	var x191 uint64
	var x192 uint64
	x192, x191 = bits.Mul64(x183, 0xfffffffffffffffe)
	var x193 uint64

	p256CmovznzU64(&x184, p256Uint1(x183), x174, x165)
	var x185 uint64
	p256CmovznzU64(&x185, p256Uint1(x183), x176, x167)
	var x186 uint64
	p256CmovznzU64(&x186, p256Uint1(x183), x178, x169)
	var x187 uint64
	p256CmovznzU64(&x187, p256Uint1(x183), x180, x171)
	out1[0] = x184
	out1[1] = x185
	out1[2] = x186
	out1[3] = x187
}

// p256Square squares a field element in the Montgomery domain.
//

	var x185 uint64
	x184, x185 = bits.Sub64(x175, 0x14def9dea2f79cd6, uint64(fiatScalarUint1(x183)))
	var x186 uint64
	var x187 uint64
	x186, x187 = bits.Sub64(x177, uint64(0x0), uint64(fiatScalarUint1(x185)))
	var x188 uint64
	var x189 uint64
	x188, x189 = bits.Sub64(x179, 0x1000000000000000, uint64(fiatScalarUint1(x187)))
	var x191 uint64
	_, x191 = bits.Sub64(x181, uint64(0x0), uint64(fiatScalarUint1(x189)))
	var x192 uint64

	var x185 uint64
	var x186 uint64
	x185, x186 = bits.Add64(x160, x157, uint64(p521Uint1(x184)))
	var x187 uint64
	var x188 uint64
	x187, x188 = bits.Add64(x158, x155, uint64(p521Uint1(x186)))
	x189 := (uint64(p521Uint1(x188)) + x156)
	var x191 uint64
	_, x191 = bits.Add64(x135, x171, uint64(0x0))
	var x192 uint64
	var x193 uint64
	x192, x193 = bits.Add64(x137, x173, uint64(p521Uint1(x191)))

    X154,
    X155,
    X156,
    X157,
    X158,
    X159,
    X160,
    X161,
    X162,
    X163,
    X164,
    X165,
    X166,
    X167,
    X168,
    X169,
    X170,
    X171,
    X172,
    X173,
    X174,
    X175,
    X176,
    X177,
    X178,
    X179,
    X180,
    X181,
    X182,
    X183,
    X184,
    X185,
    X186,

    X154,
    X155,
    X156,
    X157,
    X158,
    X159,
    X160,
    X161,
    X162,
    X163,
    X164,
    X165,
    X166,
    X167,
    X168,
    X169,
    X170,
    X171,
    X172,
    X173,
    X174,
    X175,
    X176,
    X177,
    X178,
    X179,
    X180,
    X181,
    X182,
    X183,
    X184,
    X185,
    X186,

=== CONT  Test☺☹/3
=== CONT  Test☺☹/2
--- PASS: TestTags (0.00s)
    --- PASS: TestTags/x_testtag_y (0.04s)
        vet_test.go:187: -tags=x testtag y
    --- PASS: TestTags/x,testtag,y (0.04s)
        vet_test.go:187: -tags=x,testtag,y
    --- PASS: TestTags/testtag (0.04s)
        vet_test.go:187: -tags=testtag
=== CONT  Test☺☹/1
=== CONT  Test☺☹Dirs/testingpkg
=== CONT  Test☺☹Dirs/buildtag
=== CONT  Test☺☹Dirs/divergent

        if: ${{ matrix.language == 'java' }}

    - name: Disable checksum offloading
      # See: https://github.com/actions/virtual-environments/issues/1187#issuecomment-686735760
      run: sudo ethtool -K eth0 tx off rx off

    # Install and setup JDK 11
    - name: Setup JDK 11
      uses: actions/setup-java@v4
      with:
        distribution: temurin