ref: e6811668a36f0bfaa6abe113bc25ed99473f8973
dir: /test/abi/004_in-myr.myr/
use std
use "004_types"
pkg =
const fn_1_myr : (a1 : flt64 -> t2)
const fn_2_myr : (a1 : flt64, a2 : t4, a3 : (uint8,uint8,flt32,uint64), a4 : (uint64,flt32) -> uint64)
const fn_3_myr : (a1 : (uint8,uint8,flt32,uint64), a2 : t3, a3 : (uint8,t6,(uint64,flt32),t2), a4 : t4, a5 : (t8,uint32), a6 : uint8, a7 : flt32, a8 : flt32 -> (uint32,(flt32,uint32),(flt64,t2),(t4,(uint8,uint8,flt32,uint64),(uint64,flt32))))
const fn_4_myr : (a1 : (t14,flt32,uint64,t15) -> t19)
const fn_5_myr : (a1 : uint32, a2 : (flt64,t2), a3 : t21, a4 : (uint8,flt64,t14,t22), a5 : t24, a6 : uint32, a7 : flt64, a8 : t26, a9 : t27, a10 : t28 -> t29)
const fn_6_myr : (a1 : ((uint8,uint8,flt32,uint64),t2), a2 : t15 -> uint32)
const fn_7_myr : (a1 : flt64, a2 : flt64, a3 : t31, a4 : t21, a5 : flt64, a6 : flt32, a7 : (t32,(t2,t18),t34), a8 : uint64 -> t37)
const fn_8_myr : (a1 : t38, a2 : t39, a3 : flt64, a4 : uint8 -> (uint8,((uint32,(flt32,uint32),(flt64,t2),(t4,(uint8,uint8,flt32,uint64),(uint64,flt32))),uint32),uint8,t41))
const fn_9_myr : (a1 : t46, a2 : flt32, a3 : t26, a4 : t47, a5 : t48, a6 : t54, a7 : uint32, a8 : flt32, a9 : t55, a10 : t56 -> uint64)
const fn_10_myr : (a1 : uint64, a2 : flt64, a3 : (t57,(flt64,t36),t59,(uint64,flt32,t4,t38)), a4 : uint8, a5 : t62, a6 : uint8, a7 : flt64, a8 : uint64 -> t3)
;;
const fn_1_myr = { a1 : flt64
if !(a1==-0.26171875)
goto bad
;;
-> [.field_1=12459410325504,.field_2=98659448520704,.field_3=(166,107,0.140625,92389009653760),.field_4=-3.140625,.field_5=(157,191,1.125,644801363968)]
:bad
-> [.field_1=238850629042176,.field_2=48799761170432,.field_3=(120,183,1.109375,182937149505536),.field_4=3.46875,.field_5=(140,106,-0.4375,114576194142208)]
}
const fn_2_myr = { a1 : flt64, a2 : t4, a3 : (uint8,uint8,flt32,uint64), a4 : (uint64,flt32)
if !(a1==-3.80078125)
goto bad
;;
if !((a2.field_1==2.8203125) && (a2.field_2==1.40625) && ((a2.field_3.field_1==281155744301057) && ((a2.field_3.field_2.field_1==201484396396544) && (a2.field_3.field_2.field_2==167610483867648) && ((a2.field_3.field_2.field_3.0==241) && (a2.field_3.field_2.field_3.1==67) && (a2.field_3.field_2.field_3.2==-1.546875) && (a2.field_3.field_2.field_3.3==85217436499968)) && (a2.field_3.field_2.field_4==1.33203125) && ((a2.field_3.field_2.field_5.0==115) && (a2.field_3.field_2.field_5.1==174) && (a2.field_3.field_2.field_5.2==0.578125) && (a2.field_3.field_2.field_5.3==108879745908736))) && ((a2.field_3.field_3.0==46) && (a2.field_3.field_3.1==0) && (a2.field_3.field_3.2==0.484375) && (a2.field_3.field_3.3==41200816095232)) && (a2.field_3.field_4==1.640625) && (a2.field_3.field_5==4163457034)))
goto bad
;;
if !((a3.0==179) && (a3.1==82) && (a3.2==0.796875) && (a3.3==149846806626304))
goto bad
;;
if !((a4.0==132525092503552) && (a4.1==-1.3125))
goto bad
;;
-> 132205860093952
:bad
-> 224271076950016
}
const fn_3_myr = { a1 : (uint8,uint8,flt32,uint64), a2 : t3, a3 : (uint8,t6,(uint64,flt32),t2), a4 : t4, a5 : (t8,uint32), a6 : uint8, a7 : flt32, a8 : flt32
if !((a1.0==211) && (a1.1==183) && (a1.2==0.71875) && (a1.3==77205130182656))
goto bad
;;
if !((a2.field_1==186084876091392) && ((a2.field_2.field_1==162500698177536) && (a2.field_2.field_2==117147867938816) && ((a2.field_2.field_3.0==81) && (a2.field_2.field_3.1==185) && (a2.field_2.field_3.2==-1.171875) && (a2.field_2.field_3.3==80629570863104)) && (a2.field_2.field_4==-2.453125) && ((a2.field_2.field_5.0==49) && (a2.field_2.field_5.1==253) && (a2.field_2.field_5.2==0.03125) && (a2.field_2.field_5.3==266183655817216))) && ((a2.field_3.0==133) && (a2.field_3.1==78) && (a2.field_3.2==-1.15625) && (a2.field_3.3==208468516143104)) && (a2.field_4==0.625) && (a2.field_5==2593151244))
goto bad
;;
if !((a3.0==104) && (a3.1==`E_6_7) && ((a3.2.0==168319363710976) && (a3.2.1==1.015625)) && ((a3.3.field_1==105329353555968) && (a3.3.field_2==49345085177856) && ((a3.3.field_3.0==61) && (a3.3.field_3.1==176) && (a3.3.field_3.2==1.25) && (a3.3.field_3.3==102963779993600)) && (a3.3.field_4==3.734375) && ((a3.3.field_5.0==21) && (a3.3.field_5.1==143) && (a3.3.field_5.2==1.46875) && (a3.3.field_5.3==167234555215872))))
goto bad
;;
if !((a4.field_1==3.12890625) && (a4.field_2==0.4375) && ((a4.field_3.field_1==63982214447104) && ((a4.field_3.field_2.field_1==135072305512448) && (a4.field_3.field_2.field_2==67998052515840) && ((a4.field_3.field_2.field_3.0==12) && (a4.field_3.field_2.field_3.1==71) && (a4.field_3.field_2.field_3.2==-0.578125) && (a4.field_3.field_2.field_3.3==187813731500032)) && (a4.field_3.field_2.field_4==3.07421875) && ((a4.field_3.field_2.field_5.0==205) && (a4.field_3.field_2.field_5.1==88) && (a4.field_3.field_2.field_5.2==-0.53125) && (a4.field_3.field_2.field_5.3==674692464640))) && ((a4.field_3.field_3.0==193) && (a4.field_3.field_3.1==11) && (a4.field_3.field_3.2==0.3125) && (a4.field_3.field_3.3==162599899496448)) && (a4.field_3.field_4==-0.62890625) && (a4.field_3.field_5==3331590902)))
goto bad
;;
if !((a5.0==`E_8_5) && (a5.1==3187538484))
goto bad
;;
if !(a6==90)
goto bad
;;
if !(a7==0.125)
goto bad
;;
if !(a8==1.203125)
goto bad
;;
-> (650661816,(-0.015625,2851726420),(-3.625,[.field_1=74772813709312,.field_2=112035052126208,.field_3=(41,21,-0.28125,170067893944320),.field_4=0.52734375,.field_5=(81,216,-0.328125,156496708894720)]),([.field_1=-3.19140625,.field_2=1.515625,.field_3=[.field_1=236308757348352,.field_2=[.field_1=263713238548480,.field_2=40608255049728,.field_3=(138,142,-1.1875,100184688558080),.field_4=2.76171875,.field_5=(73,65,1.28125,53591441145856)],.field_3=(54,81,-0.5,200208867524608),.field_4=3.7734375,.field_5=1624457196]],(250,97,0.125,16842727882752),(222985090629632,-1.109375)))
:bad
-> (2694026068,(-1.21875,4260115106),(-3.71484375,[.field_1=187395190947840,.field_2=23501456670720,.field_3=(1,129,-1.5,42547396608000),.field_4=-3.53515625,.field_5=(148,70,-0.296875,121552673308672)]),([.field_1=0.47265625,.field_2=0.5,.field_3=[.field_1=96003926654976,.field_2=[.field_1=211416389124096,.field_2=246412730040320,.field_3=(168,23,0.265625,181009723555840),.field_4=-0.2265625,.field_5=(144,6,-1.53125,175496053391360)],.field_3=(208,40,-0.78125,260664153079808),.field_4=-2.7421875,.field_5=1183476516]],(151,59,-0.6875,27338362322944),(71252360822784,-0.203125)))
}
const fn_4_myr = { a1 : (t14,flt32,uint64,t15)
if !((a1.0==`E_14_1) && (a1.1==-0.734375) && (a1.2==31855997878272) && (a1.3==`E_15_5))
goto bad
;;
-> [.field_1=0.03125,.field_2=[.field_1=(947051528,(0.96875,241559198),(-0.125,[.field_1=22236939157504,.field_2=74920569470976,.field_3=(22,25,-0.46875,99222545367040),.field_4=-2.25,.field_5=(6,66,0.9375,72999681130496)]),([.field_1=-2.41015625,.field_2=-0.328125,.field_3=[.field_1=33373226926080,.field_2=[.field_1=264437028749312,.field_2=41455185559552,.field_3=(58,157,-1.40625,172834173747200),.field_4=2.96484375,.field_5=(47,72,-0.8125,161994014326784)],.field_3=(98,191,0.9375,54448237051904),.field_4=2.390625,.field_5=1201643174]],(69,18,-0.421875,104603486781440),(119279618490368,0.6875))),.field_2=0.65625,.field_3=125926830637056,.field_4=250],.field_3=`E_18_3,.field_4=[.field_1=198926511898624,.field_2=48406520135680,.field_3=(198,211,-1.21875,259336007450624),.field_4=-3.48828125,.field_5=(185,248,0.53125,170021025611776)]]
:bad
-> [.field_1=-1.078125,.field_2=[.field_1=(4079464194,(1.09375,3151538724),(-1.30078125,[.field_1=167739336687616,.field_2=149124248371200,.field_3=(134,102,0.96875,224961458864128),.field_4=-0.203125,.field_5=(45,43,1.25,252713962045440)]),([.field_1=1.9921875,.field_2=-0.484375,.field_3=[.field_1=247192255463424,.field_2=[.field_1=38160966352896,.field_2=14664874459136,.field_3=(12,232,1.1875,45492371193856),.field_4=2.5859375,.field_5=(238,226,0.953125,168620418269184)],.field_3=(125,246,0.15625,94751226331136),.field_4=1.5234375,.field_5=3789142650]],(238,57,-0.28125,94165903343616),(9631686328320,-0.921875))),.field_2=2.4140625,.field_3=59577473957888,.field_4=97],.field_3=`E_18_5,.field_4=[.field_1=30816459292672,.field_2=37695797854208,.field_3=(13,252,-0.71875,29337515720704),.field_4=-3.61328125,.field_5=(45,251,-0.9375,2851418144768)]]
}
const fn_5_myr = { a1 : uint32, a2 : (flt64,t2), a3 : t21, a4 : (uint8,flt64,t14,t22), a5 : t24, a6 : uint32, a7 : flt64, a8 : t26, a9 : t27, a10 : t28
if !(a1==3491579916)
goto bad
;;
if !((a2.0==2.140625) && ((a2.1.field_1==17107741573120) && (a2.1.field_2==257014155051008) && ((a2.1.field_3.0==120) && (a2.1.field_3.1==241) && (a2.1.field_3.2==1.078125) && (a2.1.field_3.3==195206002114560)) && (a2.1.field_4==-1.15625) && ((a2.1.field_5.0==46) && (a2.1.field_5.1==186) && (a2.1.field_5.2==0.1875) && (a2.1.field_5.3==278368438321153))))
goto bad
;;
if !((((a3.field_1.0.0==66) && (a3.field_1.0.1==239) && (a3.field_1.0.2==-1.203125) && (a3.field_1.0.3==89848418926592)) && ((a3.field_1.1.field_1==239095841685504) && (a3.field_1.1.field_2==165469104898048) && ((a3.field_1.1.field_3.0==67) && (a3.field_1.1.field_3.1==177) && (a3.field_1.1.field_3.2==-0.6875) && (a3.field_1.1.field_3.3==172891013120000)) && (a3.field_1.1.field_4==2.93359375) && ((a3.field_1.1.field_5.0==2) && (a3.field_1.1.field_5.1==44) && (a3.field_1.1.field_5.2==1.140625) && (a3.field_1.1.field_5.3==266978004566016)))) && (((a3.field_2.field_1.0==488880992) && ((a3.field_2.field_1.1.0==0.1875) && (a3.field_2.field_1.1.1==4283670802)) && ((a3.field_2.field_1.2.0==-2.4453125) && ((a3.field_2.field_1.2.1.field_1==86642904793088) && (a3.field_2.field_1.2.1.field_2==9550056259584) && ((a3.field_2.field_1.2.1.field_3.0==135) && (a3.field_2.field_1.2.1.field_3.1==40) && (a3.field_2.field_1.2.1.field_3.2==-1.234375) && (a3.field_2.field_1.2.1.field_3.3==14565778391040)) && (a3.field_2.field_1.2.1.field_4==3.859375) && ((a3.field_2.field_1.2.1.field_5.0==97) && (a3.field_2.field_1.2.1.field_5.1==149) && (a3.field_2.field_1.2.1.field_5.2==0.75) && (a3.field_2.field_1.2.1.field_5.3==208889540378624)))) && (((a3.field_2.field_1.3.0.field_1==3.3515625) && (a3.field_2.field_1.3.0.field_2==1.5625) && ((a3.field_2.field_1.3.0.field_3.field_1==190971227013120) && ((a3.field_2.field_1.3.0.field_3.field_2.field_1==13441050607616) && (a3.field_2.field_1.3.0.field_3.field_2.field_2==89440160972800) && ((a3.field_2.field_1.3.0.field_3.field_2.field_3.0==135) && (a3.field_2.field_1.3.0.field_3.field_2.field_3.1==162) && (a3.field_2.field_1.3.0.field_3.field_2.field_3.2==0.25) && (a3.field_2.field_1.3.0.field_3.field_2.field_3.3==62767721873408)) && (a3.field_2.field_1.3.0.field_3.field_2.field_4==3.2578125) && ((a3.field_2.field_1.3.0.field_3.field_2.field_5.0==49) && (a3.field_2.field_1.3.0.field_3.field_2.field_5.1==25) && (a3.field_2.field_1.3.0.field_3.field_2.field_5.2==1.34375) && (a3.field_2.field_1.3.0.field_3.field_2.field_5.3==103776287981568))) && ((a3.field_2.field_1.3.0.field_3.field_3.0==246) && (a3.field_2.field_1.3.0.field_3.field_3.1==223) && (a3.field_2.field_1.3.0.field_3.field_3.2==-0.0625) && (a3.field_2.field_1.3.0.field_3.field_3.3==147071279038464)) && (a3.field_2.field_1.3.0.field_3.field_4==2.90625) && (a3.field_2.field_1.3.0.field_3.field_5==2875920810))) && ((a3.field_2.field_1.3.1.0==212) && (a3.field_2.field_1.3.1.1==231) && (a3.field_2.field_1.3.1.2==-0.9375) && (a3.field_2.field_1.3.1.3==278720009601025)) && ((a3.field_2.field_1.3.2.0==4008885223424) && (a3.field_2.field_1.3.2.1==-0.78125)))) && (a3.field_2.field_2==3.78125) && (a3.field_2.field_3==111604690845696) && (a3.field_2.field_4==213)) && (a3.field_3==0.703125) && (a3.field_4==`E_15_1) && (a3.field_5==2.0625) && (a3.field_6==1.73828125))
goto bad
;;
if !((a4.0==208) && (a4.1==1.30078125) && (a4.2==`E_14_3) && (a4.3==`E_22_2))
goto bad
;;
if !(a5==`E_24_4)
goto bad
;;
if !(a6==157825342)
goto bad
;;
if !(a7==3.765625)
goto bad
;;
if !((((a8.field_1.field_1.0==`E_8_6) && (a8.field_1.field_1.1==3815456600)) && (a8.field_1.field_2==-1.58203125) && (a8.field_1.field_3==16877321453568) && (a8.field_1.field_4==145567904956416) && (a8.field_1.field_5==-0.125) && (a8.field_1.field_6==1.76171875)) && (a8.field_2==171) && (a8.field_3==140444787539968) && (a8.field_4==15))
goto bad
;;
if !(a9==`E_27_5)
goto bad
;;
if !(a10==`E_28_3)
goto bad
;;
-> `E_29_1
:bad
-> `E_29_3
}
const fn_6_myr = { a1 : ((uint8,uint8,flt32,uint64),t2), a2 : t15
if !(((a1.0.0==141) && (a1.0.1==149) && (a1.0.2==-1.25) && (a1.0.3==58279295057920)) && ((a1.1.field_1==63572928888832) && (a1.1.field_2==46145049067520) && ((a1.1.field_3.0==109) && (a1.1.field_3.1==59) && (a1.1.field_3.2==-1.4375) && (a1.1.field_3.3==89364507131904)) && (a1.1.field_4==0.23828125) && ((a1.1.field_5.0==25) && (a1.1.field_5.1==213) && (a1.1.field_5.2==1.546875) && (a1.1.field_5.3==232592606363648))))
goto bad
;;
if !(a2==`E_15_6)
goto bad
;;
-> 4008488864
:bad
-> 2072402048
}
const fn_7_myr = { a1 : flt64, a2 : flt64, a3 : t31, a4 : t21, a5 : flt64, a6 : flt32, a7 : (t32,(t2,t18),t34), a8 : uint64
if !(a1==2.84375)
goto bad
;;
if !(a2==-3.25390625)
goto bad
;;
if !((a3.field_1==-2.56640625) && (a3.field_2==-0.59375) && (a3.field_3==-0.34375) && ((a3.field_4.field_1==83) && (a3.field_4.field_2==-0.8125) && (a3.field_4.field_3==245451030659072) && (a3.field_4.field_4==`E_24_1) && (a3.field_4.field_5==0.58203125) && (a3.field_4.field_6==0.734375)))
goto bad
;;
if !((((a4.field_1.0.0==154) && (a4.field_1.0.1==16) && (a4.field_1.0.2==1.53125) && (a4.field_1.0.3==240450872147968)) && ((a4.field_1.1.field_1==93431282270208) && (a4.field_1.1.field_2==243719039352832) && ((a4.field_1.1.field_3.0==176) && (a4.field_1.1.field_3.1==179) && (a4.field_1.1.field_3.2==1.421875) && (a4.field_1.1.field_3.3==211285330100224)) && (a4.field_1.1.field_4==-2.0546875) && ((a4.field_1.1.field_5.0==120) && (a4.field_1.1.field_5.1==11) && (a4.field_1.1.field_5.2==0.984375) && (a4.field_1.1.field_5.3==85609800400896)))) && (((a4.field_2.field_1.0==3734886520) && ((a4.field_2.field_1.1.0==-0.03125) && (a4.field_2.field_1.1.1==4178676130)) && ((a4.field_2.field_1.2.0==1.4609375) && ((a4.field_2.field_1.2.1.field_1==278857533489153) && (a4.field_2.field_1.2.1.field_2==40762444611584) && ((a4.field_2.field_1.2.1.field_3.0==255) && (a4.field_2.field_1.2.1.field_3.1==97) && (a4.field_2.field_1.2.1.field_3.2==-0.09375) && (a4.field_2.field_1.2.1.field_3.3==67201348272128)) && (a4.field_2.field_1.2.1.field_4==-1.9375) && ((a4.field_2.field_1.2.1.field_5.0==145) && (a4.field_2.field_1.2.1.field_5.1==208) && (a4.field_2.field_1.2.1.field_5.2==1.53125) && (a4.field_2.field_1.2.1.field_5.3==6521111838720)))) && (((a4.field_2.field_1.3.0.field_1==-0.2265625) && (a4.field_2.field_1.3.0.field_2==0.28125) && ((a4.field_2.field_1.3.0.field_3.field_1==24215899865088) && ((a4.field_2.field_1.3.0.field_3.field_2.field_1==128440090099712) && (a4.field_2.field_1.3.0.field_3.field_2.field_2==124968190476288) && ((a4.field_2.field_1.3.0.field_3.field_2.field_3.0==106) && (a4.field_2.field_1.3.0.field_3.field_2.field_3.1==82) && (a4.field_2.field_1.3.0.field_3.field_2.field_3.2==-1.15625) && (a4.field_2.field_1.3.0.field_3.field_2.field_3.3==33900307021824)) && (a4.field_2.field_1.3.0.field_3.field_2.field_4==-1.75390625) && ((a4.field_2.field_1.3.0.field_3.field_2.field_5.0==226) && (a4.field_2.field_1.3.0.field_3.field_2.field_5.1==91) && (a4.field_2.field_1.3.0.field_3.field_2.field_5.2==0.765625) && (a4.field_2.field_1.3.0.field_3.field_2.field_5.3==261485102891008))) && ((a4.field_2.field_1.3.0.field_3.field_3.0==43) && (a4.field_2.field_1.3.0.field_3.field_3.1==12) && (a4.field_2.field_1.3.0.field_3.field_3.2==0.9375) && (a4.field_2.field_1.3.0.field_3.field_3.3==185189970870272)) && (a4.field_2.field_1.3.0.field_3.field_4==-3.73046875) && (a4.field_2.field_1.3.0.field_3.field_5==2085882880))) && ((a4.field_2.field_1.3.1.0==166) && (a4.field_2.field_1.3.1.1==42) && (a4.field_2.field_1.3.1.2==-0.0625) && (a4.field_2.field_1.3.1.3==8114197757952)) && ((a4.field_2.field_1.3.2.0==179406660042752) && (a4.field_2.field_1.3.2.1==0.6875)))) && (a4.field_2.field_2==-1.7109375) && (a4.field_2.field_3==58423380148224) && (a4.field_2.field_4==136)) && (a4.field_3==-0.71875) && (a4.field_4==`E_15_2) && (a4.field_5==-3.87109375) && (a4.field_6==2.8046875))
goto bad
;;
if !(a5==-0.3046875)
goto bad
;;
if !(a6==0.734375)
goto bad
;;
if !(((a7.0.field_1==66690558)) && (((a7.1.0.field_1==201975036641280) && (a7.1.0.field_2==191791705096192) && ((a7.1.0.field_3.0==188) && (a7.1.0.field_3.1==255) && (a7.1.0.field_3.2==1.21875) && (a7.1.0.field_3.3==75962620575744)) && (a7.1.0.field_4==-1.81640625) && ((a7.1.0.field_5.0==30) && (a7.1.0.field_5.1==70) && (a7.1.0.field_5.2==-1.171875) && (a7.1.0.field_5.3==122844992372736))) && (a7.1.1==`E_18_6)) && (a7.2==`E_34_3))
goto bad
;;
if !(a8==145924444127232)
goto bad
;;
-> [.field_1=`E_36_2]
:bad
-> [.field_1=`E_36_3]
}
const fn_8_myr = { a1 : t38, a2 : t39, a3 : flt64, a4 : uint8
if !(a1==`E_38_4)
goto bad
;;
if !(a2==`E_39_1)
goto bad
;;
if !(a3==-2.69140625)
goto bad
;;
if !(a4==17)
goto bad
;;
-> (86,((3264522662,(1.125,3024392),(2.90625,[.field_1=246587710898176,.field_2=98684395847680,.field_3=(7,232,-0.25,243343254224896),.field_4=1.3828125,.field_5=(123,151,0.671875,230200040620032)]),([.field_1=-0.5,.field_2=-1.484375,.field_3=[.field_1=78257571102720,.field_2=[.field_1=202195772637184,.field_2=21507053977600,.field_3=(42,43,0.453125,259622561644544),.field_4=1.18359375,.field_5=(201,220,-0.40625,87732745404416)],.field_3=(61,181,-1.34375,27713052475392),.field_4=1.640625,.field_5=4052472574]],(249,15,1.484375,248514888728576),(134716506374144,1.046875))),2404422220),246,[.field_1=((109,70,0.875,242714521763840),[.field_1=85381772738560,.field_2=16488017559552,.field_3=(148,97,-0.859375,211742737956864),.field_4=-3.73046875,.field_5=(37,103,0.96875,3251610451968)]),.field_2=`E_29_7,.field_3=34127014920192])
:bad
-> (64,((2072157872,(-0.96875,1499873962),(-2.40234375,[.field_1=38436406689792,.field_2=91121526767616,.field_3=(64,27,-0.921875,205924771299328),.field_4=3.46484375,.field_5=(196,177,-0.40625,11710038278144)]),([.field_1=-0.1953125,.field_2=-0.84375,.field_3=[.field_1=97091811147776,.field_2=[.field_1=150148618125312,.field_2=228580951588864,.field_3=(185,194,0.203125,210398628937728),.field_4=3.1875,.field_5=(247,142,1.3125,208583715848192)],.field_3=(173,43,-0.875,245248454164480),.field_4=0.15234375,.field_5=1786378194]],(2,215,0.53125,32483101376512),(14001190862848,-0.3125))),251181130),208,[.field_1=((24,109,1.125,160345918668800),[.field_1=185513129279488,.field_2=57065717104640,.field_3=(26,120,1.34375,242789147082752),.field_4=-3.62890625,.field_5=(172,197,-1.5625,65287928938496)]),.field_2=`E_29_7,.field_3=209522592579584])
}
const fn_9_myr = { a1 : t46, a2 : flt32, a3 : t26, a4 : t47, a5 : t48, a6 : t54, a7 : uint32, a8 : flt32, a9 : t55, a10 : t56
if !((((a1.field_1.0.0==0.171875) && (a1.field_1.0.1==3226754646)) && (((a1.field_1.1.0.field_1==2.765625) && (a1.field_1.1.0.field_2==0.1875) && ((a1.field_1.1.0.field_3.field_1==276756521549824) && ((a1.field_1.1.0.field_3.field_2.field_1==152999296499712) && (a1.field_1.1.0.field_3.field_2.field_2==85664820494336) && ((a1.field_1.1.0.field_3.field_2.field_3.0==228) && (a1.field_1.1.0.field_3.field_2.field_3.1==103) && (a1.field_1.1.0.field_3.field_2.field_3.2==-0.71875) && (a1.field_1.1.0.field_3.field_2.field_3.3==189995730337792)) && (a1.field_1.1.0.field_3.field_2.field_4==2.2109375) && ((a1.field_1.1.0.field_3.field_2.field_5.0==167) && (a1.field_1.1.0.field_3.field_2.field_5.1==118) && (a1.field_1.1.0.field_3.field_2.field_5.2==-1.546875) && (a1.field_1.1.0.field_3.field_2.field_5.3==199486233247744))) && ((a1.field_1.1.0.field_3.field_3.0==94) && (a1.field_1.1.0.field_3.field_3.1==71) && (a1.field_1.1.0.field_3.field_3.2==-1.0625) && (a1.field_1.1.0.field_3.field_3.3==93572022140928)) && (a1.field_1.1.0.field_3.field_4==-1.046875) && (a1.field_1.1.0.field_3.field_5==3049108056))) && ((a1.field_1.1.1.0==185) && (a1.field_1.1.1.1==79) && (a1.field_1.1.1.2==1.03125) && (a1.field_1.1.1.3==217666636349440)) && ((a1.field_1.1.2.0==129819186561024) && (a1.field_1.1.2.1==-1.421875))) && ((a1.field_1.2.field_1==-1.60546875) && (a1.field_1.2.field_2==0.125) && ((a1.field_1.2.field_3.field_1==37068096536576) && ((a1.field_1.2.field_3.field_2.field_1==239555475144704) && (a1.field_1.2.field_3.field_2.field_2==81311387615232) && ((a1.field_1.2.field_3.field_2.field_3.0==252) && (a1.field_1.2.field_3.field_2.field_3.1==105) && (a1.field_1.2.field_3.field_2.field_3.2==-0.71875) && (a1.field_1.2.field_3.field_2.field_3.3==148899603939328)) && (a1.field_1.2.field_3.field_2.field_4==1.68359375) && ((a1.field_1.2.field_3.field_2.field_5.0==42) && (a1.field_1.2.field_3.field_2.field_5.1==238) && (a1.field_1.2.field_3.field_2.field_5.2==1.53125) && (a1.field_1.2.field_3.field_2.field_5.3==236603073363968))) && ((a1.field_1.2.field_3.field_3.0==183) && (a1.field_1.2.field_3.field_3.1==164) && (a1.field_1.2.field_3.field_3.2==-0.609375) && (a1.field_1.2.field_3.field_3.3==202904325324800)) && (a1.field_1.2.field_3.field_4==-1.15234375) && (a1.field_1.2.field_3.field_5==2895375692)))) && (a1.field_2==`E_44_7) && ((a1.field_3.field_1==2208687568)) && (a1.field_4==1848386781184) && ((a1.field_5.field_1==-1.05859375) && (a1.field_5.field_2==-0.859375) && ((a1.field_5.field_3.field_1==205448639807488) && ((a1.field_5.field_3.field_2.field_1==190494723801088) && (a1.field_5.field_3.field_2.field_2==14572431867904) && ((a1.field_5.field_3.field_2.field_3.0==128) && (a1.field_5.field_3.field_2.field_3.1==35) && (a1.field_5.field_3.field_2.field_3.2==-1.25) && (a1.field_5.field_3.field_2.field_3.3==224517446828032)) && (a1.field_5.field_3.field_2.field_4==1.37109375) && ((a1.field_5.field_3.field_2.field_5.0==59) && (a1.field_5.field_3.field_2.field_5.1==166) && (a1.field_5.field_3.field_2.field_5.2==1.453125) && (a1.field_5.field_3.field_2.field_5.3==61154056208384))) && ((a1.field_5.field_3.field_3.0==15) && (a1.field_5.field_3.field_3.1==60) && (a1.field_5.field_3.field_3.2==0.765625) && (a1.field_5.field_3.field_3.3==218183195164672)) && (a1.field_5.field_3.field_4==-0.765625) && (a1.field_5.field_3.field_5==2915453416))) && (a1.field_6==3275953006))
goto bad
;;
if !(a2==-0.328125)
goto bad
;;
if !((((a3.field_1.field_1.0==`E_8_1) && (a3.field_1.field_1.1==3258536312)) && (a3.field_1.field_2==-2.17578125) && (a3.field_1.field_3==31978917462016) && (a3.field_1.field_4==76825007489024) && (a3.field_1.field_5==-0.859375) && (a3.field_1.field_6==-0.171875)) && (a3.field_2==127) && (a3.field_3==269734934740992) && (a3.field_4==39))
goto bad
;;
if !(a4==`E_47_3)
goto bad
;;
if !(a5==`E_48_7)
goto bad
;;
if !(((a6.field_1.field_1==613960680)) && ((a6.field_2.0==-0.125) && ((a6.field_2.1.field_1==469993662)) && (a6.field_2.2==201131156307968) && (a6.field_2.3==3.79296875)) && (a6.field_3==`E_51_4) && ((a6.field_4.field_1==0.09375) && (a6.field_4.field_2==`E_51_6) && (a6.field_4.field_3==134) && (a6.field_4.field_4==1.234375) && (a6.field_4.field_5==1.359375)) && (a6.field_5==`E_51_2) && (a6.field_6==`E_53_4))
goto bad
;;
if !(a7==604879132)
goto bad
;;
if !(a8==0.640625)
goto bad
;;
if !(a9==`E_55_3)
goto bad
;;
if !(a10==`E_56_4)
goto bad
;;
-> 219771358019584
:bad
-> 168173477429248
}
const fn_10_myr = { a1 : uint64, a2 : flt64, a3 : (t57,(flt64,t36),t59,(uint64,flt32,t4,t38)), a4 : uint8, a5 : t62, a6 : uint8, a7 : flt64, a8 : uint64
if !(a1==160708767514624)
goto bad
;;
if !(a2==0.36328125)
goto bad
;;
if !((a3.0==`E_57_5) && ((a3.1.0==-0.27734375) && (a3.1.1==`E_36_3)) && ((a3.2.field_1==97) && (a3.2.field_2==33865353396224)) && ((a3.3.0==216701139681280) && (a3.3.1==-1.03125) && ((a3.3.2.field_1==-0.8515625) && (a3.3.2.field_2==0.71875) && ((a3.3.2.field_3.field_1==244705840726016) && ((a3.3.2.field_3.field_2.field_1==53149469900800) && (a3.3.2.field_3.field_2.field_2==161998735409152) && ((a3.3.2.field_3.field_2.field_3.0==127) && (a3.3.2.field_3.field_2.field_3.1==47) && (a3.3.2.field_3.field_2.field_3.2==1.25) && (a3.3.2.field_3.field_2.field_3.3==59620799152128)) && (a3.3.2.field_3.field_2.field_4==-1.41015625) && ((a3.3.2.field_3.field_2.field_5.0==130) && (a3.3.2.field_3.field_2.field_5.1==161) && (a3.3.2.field_3.field_2.field_5.2==-1.453125) && (a3.3.2.field_3.field_2.field_5.3==49656372789248))) && ((a3.3.2.field_3.field_3.0==136) && (a3.3.2.field_3.field_3.1==83) && (a3.3.2.field_3.field_3.2==-1.15625) && (a3.3.2.field_3.field_3.3==278799917907969)) && (a3.3.2.field_3.field_4==2.5234375) && (a3.3.2.field_3.field_5==3744252854))) && (a3.3.3==`E_38_1)))
goto bad
;;
if !(a4==202)
goto bad
;;
if !(a5==`E_62_3)
goto bad
;;
if !(a6==0)
goto bad
;;
if !(a7==2.234375)
goto bad
;;
if !(a8==215484511158272)
goto bad
;;
-> [.field_1=268633981059072,.field_2=[.field_1=24949413642240,.field_2=153583813787648,.field_3=(35,252,0.8125,128878867382272),.field_4=-0.03125,.field_5=(98,126,0.546875,258416610377728)],.field_3=(209,206,1.28125,180894750212096),.field_4=1.390625,.field_5=4104417000]
:bad
-> [.field_1=194724296130560,.field_2=[.field_1=131606075277312,.field_2=177386963992576,.field_3=(80,184,0.453125,88961125056512),.field_4=-3.15625,.field_5=(110,126,1.140625,266037895757824)],.field_3=(137,208,-1.46875,23546486325248),.field_4=3.55078125,.field_5=90406856]
}