// through value-preserving sign/zero extensions of index values (issue #26292).

// Look through all extensions
func signExtNto64(x []int, j8 int8, j16 int16, j32 int32) int {
	if len(x) < 22 {
		return 0
	}
	if j8 >= 0 && j8 < 22 {
		return x[j8] // ERROR "Proved IsInBounds$"
	}
	if j16 >= 0 && j16 < 22 {
		return x[j16] // ERROR "Proved IsInBounds$"
	}
	if j32 >= 0 && j32 < 22 {

WIÖvqAI²HsG@mÎܾg`qe}1x¬ØÈ·¹«8¿Ru^ãhE¦ rGåY~[MNØÜŸ²"sÕxªA^f„UÐaDEDKG¤QZªk |{ywH’}nTû cn%1òr² p ¢ ) ª¿E"³²zaöñ q„ãZ`\Agzc¨Üyª|\ir VgYò°¼8ïvNo^]}Z{¾zìûzf€GN[Ö9~s þû\²xFñ&{gzQUx )lRiJ ò}spXMªmãÌÖ]O_¦Gw{tyrcWûòr²~kÕ 2J­²*}yFºÈøq¬ÖÇôgGGCªTñ|eq 0cJòIûT 5Œ´Bóê \e>Ö }J8/Ö=_pOŠGxËæAXcÖ=@e ŒNrA,ÿ°S}€TÅ>ôkDyó~¾ÈgMY]Èues`B>Dc¼u`÷HCfK¢tc¾hEÂiK@¦\O\Iý_K¢yzUx:iDgDW®Ê \u{Óý2¬+U÷u¾reôi}OO¸}KA zoZŠ|e¼~m\}D îˆtÚ÷ cYr¾sqPwÐÚ² RoUJt‹8wÖGFgò3²L /ìAyÜ×Ùè¤}ZÚ DmziATÜE¾yZT÷ågK{ NevC2ö§ª›0²W# ZDitŠts¤G_ï¬Di K|}û~¾GHrMNsn4Ês#ÆÏÅ PVW...

github.com/go-openapi/runtime v0.19.4/go.mod h1:X277bwSUBxVlCYR3r7xgZZGKVvBd/29gLDlFGtJ8NL4=
github.com/go-openapi/spec v0.0.0-20160808142527-6aced65f8501/go.mod h1:J8+jY1nAiCcj+friV/PDoE1/3eeccG9LYBs0tYvLOWc=
github.com/go-openapi/spec v0.17.0/go.mod h1:XkF/MOi14NmjsfZ8VtAKf8pIlbZzyoTvZsdfssdxcBI=
github.com/go-openapi/spec v0.18.0/go.mod h1:XkF/MOi14NmjsfZ8VtAKf8pIlbZzyoTvZsdfssdxcBI=

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: BCPG v1.68

mQENBFPKf7UBCADNQuTp5/kBaFdYHW5kY28Kb6N3NOX66V6YeemQtuk+v7nUCL7A
RP351Y5Laz3UmhzxMJCq4OCEDX75Ujb8B+N/o9ubgINfRROF4T1ALtbjakqUl/J8
qM69BLy2btLRw/NdZbW6gMnaW8RQ51Z3uvG2KyjS2hS3v4TL2z3VpURhtQ8ZGaZZ
dVxgHPhXvSMwtZFrImNjaDbAMpYLjklLIk8urhL5G0O5XMzTIUtiC9o2YzD//sz/
bdCDA3vXAIgnshQGdeIuwXGWeiD/uig1Fxq/Y6tHttZuwbJGYftVKQs+M6Q9TeD2