VPOPCNTQ Y5, K2, Y1                                // 62f2fd2a55cd
	VPOPCNTQ Y17, K2, Y1                               // 62b2fd2a55c9
	VPOPCNTQ Y13, K2, Y1                               // 62d2fd2a55cd
	VPOPCNTQ 7(AX)(CX*4), K2, Y1                       // 62f2fd2a558c8807000000
	VPOPCNTQ 7(AX)(CX*1), K2, Y1                       // 62f2fd2a558c0807000000

	VPCONFLICTQ Y5, K4, Y1                             // 62f2fd2cc4cd
	VPCONFLICTQ Y18, K4, Y1                            // 62b2fd2cc4ca
	VPCONFLICTQ Y20, K4, Y1                            // 62b2fd2cc4cc
	VPCONFLICTQ 99(R15)(R15*8), K4, Y1                 // 6292fd2cc48cff63000000
	VPCONFLICTQ 7(AX)(CX*8), K4, Y1                    // 62f2fd2cc48cc807000000

    /*
     * For an explanation of the basic principle behind this check, see
     * https://stackoverflow.com/a/35754308/28465
     *
     * In that explanation's notation, our `overlap` check would be `x1 < y2 && y1 < x2`. We've
     * flipped one part of the check so that we're using "less than" in both cases (rather than a
     * mix of "less than" and "greater than"). We've also switched to "strictly less than" rather

	VPMULTISHIFTQB Y1, Y30, K7, Y12                    // 62728d2783e1
	VPMULTISHIFTQB Y30, Y30, K7, Y12                   // 62128d2783e6
	VPMULTISHIFTQB 17(SP)(BP*2), Y30, K7, Y12          // 62728d2783a46c11000000
	VPMULTISHIFTQB -7(DI)(R8*4), Y30, K7, Y12          // 62328d2783a487f9ffffff
	VPMULTISHIFTQB Y16, Y26, K7, Y12                   // 6232ad2783e0
	VPMULTISHIFTQB Y1, Y26, K7, Y12                    // 6272ad2783e1

	VFMSUB231PD 7(AX)(CX*1), X2, K3, X20               // 62e2ed0bbaa40807000000
	VFMSUB231PD Y1, Y6, K3, Y1                         // 62f2cd2bbac9
	VFMSUB231PD 15(R8)(R14*1), Y6, K3, Y1              // 6292cd2bba8c300f000000
	VFMSUB231PD 15(R8)(R14*2), Y6, K3, Y1              // 6292cd2bba8c700f000000
	VFMSUB231PD Z28, Z26, K2, Z6                       // 6292ad42baf4

	VPOPCNTB Y1, K4, Y24                               // 62627d2c54c1
	VPOPCNTB 15(R8)(R14*8), K4, Y24                    // 62027d2c5484f00f000000
	VPOPCNTB -15(R14)(R15*2), K4, Y24                  // 62027d2c54847ef1ffffff
	VPOPCNTB Y14, K4, Y13                              // 62527d2c54ee
	VPOPCNTB Y21, K4, Y13                              // 62327d2c54ed
	VPOPCNTB Y1, K4, Y13                               // 62727d2c54e9

	VPMINUW -7(CX)(DX*4), X11, K2, X1                  // 62f2250a3a8c91f9ffffff or 62f2a50a3a8c91f9ffffff
	VPMINUW Y13, Y28, K3, Y1                           // 62d21d233acd or 62d29d233acd
	VPMINUW 17(SP), Y28, K3, Y1                        // 62f21d233a8c2411000000 or 62f29d233a8c2411000000
	VPMINUW -17(BP)(SI*4), Y28, K3, Y1                 // 62f21d233a8cb5efffffff or 62f29d233a8cb5efffffff

pkg math, func Sqrt(float64) float64
pkg math, func Tan(float64) float64
pkg math, func Tanh(float64) float64
pkg math, func Trunc(float64) float64
pkg math, func Y0(float64) float64
pkg math, func Y1(float64) float64
pkg math, func Yn(int, float64) float64
pkg math/big, const MaxBase ideal-char
pkg math/big, func NewInt(int64) *Int
pkg math/big, func NewRat(int64, int64) *Rat