ref: d4030509dc5ebcfb8e3922ab01bda9ada8cd094d
dir: /test/abi/005_in-c.glue.c/
/* CFLAGS: -I/usr/include/ */ /* CFLAGS: -I/usr/include */ /* LIBS: c */ #include <stdint.h> #include "005_types.h" extern t9 fn_1_myr(t2 a1, uint32_t a2, t4 a3, t2 a4, t7 a5, float a6, double a7, t8 a8); extern t17 fn_2_myr(t12 a1, t14 a2, t7 a3, float a4, t15 a5, t14 a6, uint8_t a7); extern uint32_t fn_3_myr(t15 a1, t23 a2, t21 a3, uint8_t a4, uint8_t a5, t27 a6); extern uint64_t fn_4_myr(t30 a1); extern double fn_5_myr(t33 a1, t34 a2, t36 a3, t37 a4, uint64_t a5); extern t43 fn_6_myr(t40 a1, t41 a2, t34 a3, t42 a4, double a5, double a6, uint64_t a7, uint64_t a8, t26 a9); extern uint32_t fn_7_myr(t48 a1); extern float fn_8_myr(t1 a1, t50 a2, t51 a3, float a4, t52 a5, uint32_t a6, t53 a7, uint8_t a8); extern uint64_t fn_9_myr(t51 a1, float a2, float a3, t56 a4, t58 a5, t61 a6, t65 a7, t66 a8, t67 a9, double a10); extern float fn_10_myr(t74 a1, float a2, t75 a3, uint8_t a4, t78 a5, t79 a6); t9 fn_1_c(t2 a1, uint32_t a2, t4 a3, t2 a4, t7 a5, float a6, double a7, t8 a8) { if (!((a1.field_1==0.0625) && ((a1.field_2.field_1==112) && (a1.field_2.field_2==-0.625) && (a1.field_2.field_3==110) && (a1.field_2.field_4==44)))) { goto bad; } if (!(a2==2189228706)) { goto bad; } if (!(((a3.field_1.field_1==-0.84375) && ((a3.field_1.field_2.field_1==150) && (a3.field_1.field_2.field_2==0.359375) && (a3.field_1.field_2.field_3==172) && (a3.field_1.field_2.field_4==26))) && ((a3.field_2.field_1==241023379308544) && (a3.field_2.field_2==115) && ((a3.field_2.field_3.field_1==228) && (a3.field_2.field_3.field_2==0.65625) && (a3.field_2.field_3.field_3==247) && (a3.field_2.field_3.field_4==84))) && ((a3.field_3.field_1==3134223810560) && (a3.field_3.field_2==102) && ((a3.field_3.field_3.field_1==128) && (a3.field_3.field_3.field_2==-1.21875) && (a3.field_3.field_3.field_3==232) && (a3.field_3.field_3.field_4==105))))) { goto bad; } if (!((a4.field_1==-1.203125) && ((a4.field_2.field_1==110) && (a4.field_2.field_2==0.6875) && (a4.field_2.field_3==119) && (a4.field_2.field_4==200)))) { goto bad; } if (!(((a5.field_1.field_1==94503966736384) && (a5.field_1.field_2==2770153426) && (a5.field_1.field_3==187) && (a5.field_1.field_4==214) && (a5.field_1.field_5==213410253897728)) && (a5.field_2==164) && (a5.field_3==E_6_2))) { goto bad; } if (!(a6==1.53125)) { goto bad; } if (!(a7==1.3984375)) { goto bad; } if (!((((a8.field_1.field_1.field_1==0.578125) && ((a8.field_1.field_1.field_2.field_1==170) && (a8.field_1.field_1.field_2.field_2==1.09375) && (a8.field_1.field_1.field_2.field_3==193) && (a8.field_1.field_1.field_2.field_4==148))) && ((a8.field_1.field_2.field_1==271021012025344) && (a8.field_1.field_2.field_2==173) && ((a8.field_1.field_2.field_3.field_1==241) && (a8.field_1.field_2.field_3.field_2==1.46875) && (a8.field_1.field_2.field_3.field_3==80) && (a8.field_1.field_2.field_3.field_4==71))) && ((a8.field_1.field_3.field_1==86092233441280) && (a8.field_1.field_3.field_2==245) && ((a8.field_1.field_3.field_3.field_1==3) && (a8.field_1.field_3.field_3.field_2==-1.125) && (a8.field_1.field_3.field_3.field_3==183) && (a8.field_1.field_3.field_3.field_4==168)))) && ((a8.field_2.field_1==110146554691584) && (a8.field_2.field_2==246) && ((a8.field_2.field_3.field_1==164) && (a8.field_2.field_3.field_2==0.8125) && (a8.field_2.field_3.field_3==164) && (a8.field_2.field_3.field_4==89))) && (a8.field_3==0.28125) && (a8.field_4==E_6_1))) { goto bad; } return (t9) {.field_1=(t1) {.field_1=192,.field_2=-1.296875,.field_3=50,.field_4=129},.field_2=(t3) {.field_1=188458318561280,.field_2=40,.field_3=(t1) {.field_1=47,.field_2=0.359375,.field_3=32,.field_4=127}}}; bad: return (t9) {.field_1=(t1) {.field_1=228,.field_2=-0.203125,.field_3=117,.field_4=231},.field_2=(t3) {.field_1=162396161703936,.field_2=44,.field_3=(t1) {.field_1=143,.field_2=1.46875,.field_3=35,.field_4=52}}}; } t17 fn_2_c(t12 a1, t14 a2, t7 a3, float a4, t15 a5, t14 a6, uint8_t a7) { if (!((a1.field_1==2.7734375) && ((a1.field_2.field_1==258260610842624) && (((a1.field_2.field_2.field_1.field_1==67688764407808) && (a1.field_2.field_2.field_1.field_2==122501974) && (a1.field_2.field_2.field_1.field_3==122) && (a1.field_2.field_2.field_1.field_4==53) && (a1.field_2.field_2.field_1.field_5==46816349519872)) && (a1.field_2.field_2.field_2==175) && (a1.field_2.field_2.field_3==E_6_7)) && (((a1.field_2.field_3.field_1.field_1==242) && (a1.field_2.field_3.field_1.field_2==-0.828125) && (a1.field_2.field_3.field_1.field_3==64) && (a1.field_2.field_3.field_1.field_4==212)) && ((a1.field_2.field_3.field_2.field_1==175981577109504) && (a1.field_2.field_3.field_2.field_2==146) && ((a1.field_2.field_3.field_2.field_3.field_1==58) && (a1.field_2.field_3.field_2.field_3.field_2==-1.3125) && (a1.field_2.field_3.field_2.field_3.field_3==81) && (a1.field_2.field_3.field_2.field_3.field_4==249))))) && (((a1.field_3.field_1.field_1==-0.671875) && ((a1.field_3.field_1.field_2.field_1==39) && (a1.field_3.field_1.field_2.field_2==1.3125) && (a1.field_3.field_1.field_2.field_3==255) && (a1.field_3.field_1.field_2.field_4==168))) && (a1.field_3.field_2==5680861020160) && (a1.field_3.field_3==3.1015625)))) { goto bad; } if (!((a2.field_1==-0.65625) && ((a2.field_2.field_1==-3.07421875) && (a2.field_2.field_2==2364459620) && (a2.field_2.field_3==34004063092736) && (((a2.field_2.field_4.field_1.field_1==0.734375) && ((a2.field_2.field_4.field_1.field_2.field_1==31) && (a2.field_2.field_4.field_1.field_2.field_2==-0.46875) && (a2.field_2.field_4.field_1.field_2.field_3==207) && (a2.field_2.field_4.field_1.field_2.field_4==112))) && ((a2.field_2.field_4.field_2.field_1==91868031090688) && (a2.field_2.field_4.field_2.field_2==24) && ((a2.field_2.field_4.field_2.field_3.field_1==152) && (a2.field_2.field_4.field_2.field_3.field_2==-0.796875) && (a2.field_2.field_4.field_2.field_3.field_3==24) && (a2.field_2.field_4.field_2.field_3.field_4==64))) && ((a2.field_2.field_4.field_3.field_1==74808418369536) && (a2.field_2.field_4.field_3.field_2==254) && ((a2.field_2.field_4.field_3.field_3.field_1==6) && (a2.field_2.field_4.field_3.field_3.field_2==0.046875) && (a2.field_2.field_4.field_3.field_3.field_3==73) && (a2.field_2.field_4.field_3.field_3.field_4==208))))))) { goto bad; } if (!(((a3.field_1.field_1==145965008551936) && (a3.field_1.field_2==2498931774) && (a3.field_1.field_3==156) && (a3.field_1.field_4==179) && (a3.field_1.field_5==265737065725952)) && (a3.field_2==244) && (a3.field_3==E_6_5))) { goto bad; } if (!(a4==-0.796875)) { goto bad; } if (!(a5==E_15_4)) { goto bad; } if (!((a6.field_1==0.6875) && ((a6.field_2.field_1==-2.171875) && (a6.field_2.field_2==1533036440) && (a6.field_2.field_3==12142327889920) && (((a6.field_2.field_4.field_1.field_1==-0.5625) && ((a6.field_2.field_4.field_1.field_2.field_1==243) && (a6.field_2.field_4.field_1.field_2.field_2==-0.65625) && (a6.field_2.field_4.field_1.field_2.field_3==106) && (a6.field_2.field_4.field_1.field_2.field_4==51))) && ((a6.field_2.field_4.field_2.field_1==156078303608832) && (a6.field_2.field_4.field_2.field_2==104) && ((a6.field_2.field_4.field_2.field_3.field_1==58) && (a6.field_2.field_4.field_2.field_3.field_2==-1.34375) && (a6.field_2.field_4.field_2.field_3.field_3==178) && (a6.field_2.field_4.field_2.field_3.field_4==10))) && ((a6.field_2.field_4.field_3.field_1==140200370896896) && (a6.field_2.field_4.field_3.field_2==33) && ((a6.field_2.field_4.field_3.field_3.field_1==143) && (a6.field_2.field_4.field_3.field_3.field_2==-1.3125) && (a6.field_2.field_4.field_3.field_3.field_3==190) && (a6.field_2.field_4.field_3.field_3.field_4==67))))))) { goto bad; } if (!(a7==179)) { goto bad; } return (t17) {.field_1=(t16) {.field_1=101589888270336,.field_2=(t1) {.field_1=225,.field_2=-0.046875,.field_3=234,.field_4=74},.field_3=200069064425472,.field_4=1.53125},.field_2=1.53125}; bad: return (t17) {.field_1=(t16) {.field_1=211711070699520,.field_2=(t1) {.field_1=123,.field_2=-1.203125,.field_3=79,.field_4=144},.field_3=242499850862592,.field_4=0.234375},.field_2=0.28125}; } uint32_t fn_3_c(t15 a1, t23 a2, t21 a3, uint8_t a4, uint8_t a5, t27 a6) { if (!(a1==E_15_5)) { goto bad; } if (!(((((a2.field_1.field_1.field_1.field_1==208514472345600) && ((a2.field_1.field_1.field_1.field_2.field_1==171) && (a2.field_1.field_1.field_1.field_2.field_2==0.53125) && (a2.field_1.field_1.field_1.field_2.field_3==170) && (a2.field_1.field_1.field_1.field_2.field_4==148)) && (a2.field_1.field_1.field_1.field_3==137775610724352) && (a2.field_1.field_1.field_1.field_4==0.046875)) && (a2.field_1.field_1.field_2==-0.109375)) && ((((a2.field_1.field_2.field_1.field_1.field_1==-0.515625) && ((a2.field_1.field_2.field_1.field_1.field_2.field_1==130) && (a2.field_1.field_2.field_1.field_1.field_2.field_2==0.5625) && (a2.field_1.field_2.field_1.field_1.field_2.field_3==65) && (a2.field_1.field_2.field_1.field_1.field_2.field_4==249))) && ((a2.field_1.field_2.field_1.field_2.field_1==49920772014080) && (a2.field_1.field_2.field_1.field_2.field_2==137) && ((a2.field_1.field_2.field_1.field_2.field_3.field_1==81) && (a2.field_1.field_2.field_1.field_2.field_3.field_2==-1.078125) && (a2.field_1.field_2.field_1.field_2.field_3.field_3==187) && (a2.field_1.field_2.field_1.field_2.field_3.field_4==244))) && ((a2.field_1.field_2.field_1.field_3.field_1==238917205884928) && (a2.field_1.field_2.field_1.field_3.field_2==234) && ((a2.field_1.field_2.field_1.field_3.field_3.field_1==148) && (a2.field_1.field_2.field_1.field_3.field_3.field_2==-0.65625) && (a2.field_1.field_2.field_1.field_3.field_3.field_3==148) && (a2.field_1.field_2.field_1.field_3.field_3.field_4==82)))) && ((a2.field_1.field_2.field_2.field_1==13348047552512) && (a2.field_1.field_2.field_2.field_2==206) && ((a2.field_1.field_2.field_2.field_3.field_1==236) && (a2.field_1.field_2.field_2.field_3.field_2==-0.390625) && (a2.field_1.field_2.field_2.field_3.field_3==159) && (a2.field_1.field_2.field_2.field_3.field_4==22))) && (a2.field_1.field_2.field_3==-1.203125) && (a2.field_1.field_2.field_4==E_6_3)) && (a2.field_1.field_3==3263768112) && (((a2.field_1.field_4.field_1.field_1==0.890625) && ((a2.field_1.field_4.field_1.field_2.field_1==223) && (a2.field_1.field_4.field_1.field_2.field_2==-0.78125) && (a2.field_1.field_4.field_1.field_2.field_3==76) && (a2.field_1.field_4.field_1.field_2.field_4==85))) && ((a2.field_1.field_4.field_2.field_1==165112780685312) && (a2.field_1.field_4.field_2.field_2==206) && ((a2.field_1.field_4.field_2.field_3.field_1==4) && (a2.field_1.field_4.field_2.field_3.field_2==1.078125) && (a2.field_1.field_4.field_2.field_3.field_3==200) && (a2.field_1.field_4.field_2.field_3.field_4==49))) && ((a2.field_1.field_4.field_3.field_1==107450067189760) && (a2.field_1.field_4.field_3.field_2==25) && ((a2.field_1.field_4.field_3.field_3.field_1==89) && (a2.field_1.field_4.field_3.field_3.field_2==-1.203125) && (a2.field_1.field_4.field_3.field_3.field_3==14) && (a2.field_1.field_4.field_3.field_3.field_4==51))))) && (a2.field_2==E_19_1) && (a2.field_3==178689565917184) && (a2.field_4==E_20_4) && (a2.field_5==E_21_6) && ((a2.field_6.field_1==269113953746944) && (a2.field_6.field_2==2315358406)))) { goto bad; } if (!(a3==E_21_9)) { goto bad; } if (!(a4==248)) { goto bad; } if (!(a5==86)) { goto bad; } if (!((a6.field_1==85770339090432) && ((a6.field_2.field_1==-0.671875)) && ((a6.field_3.field_1==-1.15234375) && (a6.field_3.field_2==E_20_1) && (a6.field_3.field_3==E_21_1) && ((a6.field_3.field_4.field_1==0.46875) && ((a6.field_3.field_4.field_2.field_1==3865086263296) && (((a6.field_3.field_4.field_2.field_2.field_1.field_1==62745143410688) && (a6.field_3.field_4.field_2.field_2.field_1.field_2==444241798) && (a6.field_3.field_4.field_2.field_2.field_1.field_3==148) && (a6.field_3.field_4.field_2.field_2.field_1.field_4==38) && (a6.field_3.field_4.field_2.field_2.field_1.field_5==186451756843008)) && (a6.field_3.field_4.field_2.field_2.field_2==253) && (a6.field_3.field_4.field_2.field_2.field_3==E_6_6)) && (((a6.field_3.field_4.field_2.field_3.field_1.field_1==106) && (a6.field_3.field_4.field_2.field_3.field_1.field_2==0.875) && (a6.field_3.field_4.field_2.field_3.field_1.field_3==169) && (a6.field_3.field_4.field_2.field_3.field_1.field_4==132)) && ((a6.field_3.field_4.field_2.field_3.field_2.field_1==193552010969088) && (a6.field_3.field_4.field_2.field_3.field_2.field_2==134) && ((a6.field_3.field_4.field_2.field_3.field_2.field_3.field_1==209) && (a6.field_3.field_4.field_2.field_3.field_2.field_3.field_2==0.390625) && (a6.field_3.field_4.field_2.field_3.field_2.field_3.field_3==6) && (a6.field_3.field_4.field_2.field_3.field_2.field_3.field_4==157))))) && (((a6.field_3.field_4.field_3.field_1.field_1==-1.015625) && ((a6.field_3.field_4.field_3.field_1.field_2.field_1==122) && (a6.field_3.field_4.field_3.field_1.field_2.field_2==1.40625) && (a6.field_3.field_4.field_3.field_1.field_2.field_3==38) && (a6.field_3.field_4.field_3.field_1.field_2.field_4==208))) && (a6.field_3.field_4.field_3.field_2==55544454578176) && (a6.field_3.field_4.field_3.field_3==-2.609375)))) && ((a6.field_4.field_1==33366908207104) && (a6.field_4.field_2==136001504280576) && (a6.field_4.field_3==132)))) { goto bad; } return 2527618668; bad: return 339855078; } uint64_t fn_4_c(t30 a1) { if (!(((((((a1.field_1.field_1.field_1.field_1.field_1.field_1==44445459546112) && ((a1.field_1.field_1.field_1.field_1.field_1.field_2.field_1==83) && (a1.field_1.field_1.field_1.field_1.field_1.field_2.field_2==-0.453125) && (a1.field_1.field_1.field_1.field_1.field_1.field_2.field_3==82) && (a1.field_1.field_1.field_1.field_1.field_1.field_2.field_4==113)) && (a1.field_1.field_1.field_1.field_1.field_1.field_3==235939541549056) && (a1.field_1.field_1.field_1.field_1.field_1.field_4==1.078125)) && (a1.field_1.field_1.field_1.field_1.field_2==0.3125)) && ((((a1.field_1.field_1.field_1.field_2.field_1.field_1.field_1==-0.234375) && ((a1.field_1.field_1.field_1.field_2.field_1.field_1.field_2.field_1==236) && (a1.field_1.field_1.field_1.field_2.field_1.field_1.field_2.field_2==0.828125) && (a1.field_1.field_1.field_1.field_2.field_1.field_1.field_2.field_3==60) && (a1.field_1.field_1.field_1.field_2.field_1.field_1.field_2.field_4==26))) && ((a1.field_1.field_1.field_1.field_2.field_1.field_2.field_1==143671663132672) && (a1.field_1.field_1.field_1.field_2.field_1.field_2.field_2==50) && ((a1.field_1.field_1.field_1.field_2.field_1.field_2.field_3.field_1==243) && (a1.field_1.field_1.field_1.field_2.field_1.field_2.field_3.field_2==-0.796875) && (a1.field_1.field_1.field_1.field_2.field_1.field_2.field_3.field_3==3) && (a1.field_1.field_1.field_1.field_2.field_1.field_2.field_3.field_4==53))) && ((a1.field_1.field_1.field_1.field_2.field_1.field_3.field_1==214366877515776) && (a1.field_1.field_1.field_1.field_2.field_1.field_3.field_2==126) && ((a1.field_1.field_1.field_1.field_2.field_1.field_3.field_3.field_1==252) && (a1.field_1.field_1.field_1.field_2.field_1.field_3.field_3.field_2==1.453125) && (a1.field_1.field_1.field_1.field_2.field_1.field_3.field_3.field_3==128) && (a1.field_1.field_1.field_1.field_2.field_1.field_3.field_3.field_4==149)))) && ((a1.field_1.field_1.field_1.field_2.field_2.field_1==223779870998528) && (a1.field_1.field_1.field_1.field_2.field_2.field_2==137) && ((a1.field_1.field_1.field_1.field_2.field_2.field_3.field_1==203) && (a1.field_1.field_1.field_1.field_2.field_2.field_3.field_2==0.953125) && (a1.field_1.field_1.field_1.field_2.field_2.field_3.field_3==12) && (a1.field_1.field_1.field_1.field_2.field_2.field_3.field_4==243))) && (a1.field_1.field_1.field_1.field_2.field_3==1.453125) && (a1.field_1.field_1.field_1.field_2.field_4==E_6_3)) && (a1.field_1.field_1.field_1.field_3==1314332054) && (((a1.field_1.field_1.field_1.field_4.field_1.field_1==-0.671875) && ((a1.field_1.field_1.field_1.field_4.field_1.field_2.field_1==209) && (a1.field_1.field_1.field_1.field_4.field_1.field_2.field_2==-1.125) && (a1.field_1.field_1.field_1.field_4.field_1.field_2.field_3==32) && (a1.field_1.field_1.field_1.field_4.field_1.field_2.field_4==106))) && ((a1.field_1.field_1.field_1.field_4.field_2.field_1==160715212455936) && (a1.field_1.field_1.field_1.field_4.field_2.field_2==12) && ((a1.field_1.field_1.field_1.field_4.field_2.field_3.field_1==45) && (a1.field_1.field_1.field_1.field_4.field_2.field_3.field_2==0.96875) && (a1.field_1.field_1.field_1.field_4.field_2.field_3.field_3==39) && (a1.field_1.field_1.field_1.field_4.field_2.field_3.field_4==176))) && ((a1.field_1.field_1.field_1.field_4.field_3.field_1==2142336450560) && (a1.field_1.field_1.field_1.field_4.field_3.field_2==26) && ((a1.field_1.field_1.field_1.field_4.field_3.field_3.field_1==239) && (a1.field_1.field_1.field_1.field_4.field_3.field_3.field_2==-1.5) && (a1.field_1.field_1.field_1.field_4.field_3.field_3.field_3==80) && (a1.field_1.field_1.field_1.field_4.field_3.field_3.field_4==178))))) && (a1.field_1.field_1.field_2==E_19_5) && (a1.field_1.field_1.field_3==84526311014400) && (a1.field_1.field_1.field_4==E_20_6) && (a1.field_1.field_1.field_5==E_21_1) && ((a1.field_1.field_1.field_6.field_1==248535774265344) && (a1.field_1.field_1.field_6.field_2==1964811016))) && (a1.field_1.field_2==0.1875) && (a1.field_1.field_3==E_6_5) && (a1.field_1.field_4==-1.87109375)) && ((a1.field_2.field_1==155) && (a1.field_2.field_2==2693759888)))) { goto bad; } return 276275068796928; bad: return 262674313510912; } double fn_5_c(t33 a1, t34 a2, t36 a3, t37 a4, uint64_t a5) { if (!((a1.field_1==E_31_3) && (a1.field_2==E_32_5))) { goto bad; } if (!((a2.field_1==E_32_5) && (a2.field_2==66))) { goto bad; } if (!((a3.field_1==E_35_4) && (a3.field_2==214))) { goto bad; } if (!(a4==E_37_1)) { goto bad; } if (!(a5==210077727850496)) { goto bad; } return -2.5234375; bad: return 1.40234375; } t43 fn_6_c(t40 a1, t41 a2, t34 a3, t42 a4, double a5, double a6, uint64_t a7, uint64_t a8, t26 a9) { if (!(((((a1.field_1.field_1.field_1.field_1==0.71875) && ((a1.field_1.field_1.field_1.field_2.field_1==162) && (a1.field_1.field_1.field_1.field_2.field_2==-1.375) && (a1.field_1.field_1.field_1.field_2.field_3==12) && (a1.field_1.field_1.field_1.field_2.field_4==208))) && ((a1.field_1.field_1.field_2.field_1==208257259929600) && (a1.field_1.field_1.field_2.field_2==224) && ((a1.field_1.field_1.field_2.field_3.field_1==202) && (a1.field_1.field_1.field_2.field_3.field_2==-0.015625) && (a1.field_1.field_1.field_2.field_3.field_3==86) && (a1.field_1.field_1.field_2.field_3.field_4==251))) && ((a1.field_1.field_1.field_3.field_1==253976550440960) && (a1.field_1.field_1.field_3.field_2==123) && ((a1.field_1.field_1.field_3.field_3.field_1==146) && (a1.field_1.field_1.field_3.field_3.field_2==0.828125) && (a1.field_1.field_1.field_3.field_3.field_3==120) && (a1.field_1.field_1.field_3.field_3.field_4==62)))) && ((a1.field_1.field_2.field_1==26298971062272) && (a1.field_1.field_2.field_2==103) && ((a1.field_1.field_2.field_3.field_1==239) && (a1.field_1.field_2.field_3.field_2==1.28125) && (a1.field_1.field_2.field_3.field_3==152) && (a1.field_1.field_2.field_3.field_4==89))) && (a1.field_1.field_3==0.734375) && (a1.field_1.field_4==E_6_3)) && (a1.field_2==E_6_1) && (a1.field_3==E_38_6) && (((a1.field_4.field_1.field_1==152549047009280) && ((a1.field_4.field_1.field_2.field_1==0.859375)) && ((a1.field_4.field_1.field_3.field_1==-3.7109375) && (a1.field_4.field_1.field_3.field_2==E_20_7) && (a1.field_4.field_1.field_3.field_3==E_21_5) && ((a1.field_4.field_1.field_3.field_4.field_1==1.26171875) && ((a1.field_4.field_1.field_3.field_4.field_2.field_1==257906686427136) && (((a1.field_4.field_1.field_3.field_4.field_2.field_2.field_1.field_1==154973503488000) && (a1.field_4.field_1.field_3.field_4.field_2.field_2.field_1.field_2==2040012194) && (a1.field_4.field_1.field_3.field_4.field_2.field_2.field_1.field_3==167) && (a1.field_4.field_1.field_3.field_4.field_2.field_2.field_1.field_4==109) && (a1.field_4.field_1.field_3.field_4.field_2.field_2.field_1.field_5==74787062284288)) && (a1.field_4.field_1.field_3.field_4.field_2.field_2.field_2==39) && (a1.field_4.field_1.field_3.field_4.field_2.field_2.field_3==E_6_6)) && (((a1.field_4.field_1.field_3.field_4.field_2.field_3.field_1.field_1==63) && (a1.field_4.field_1.field_3.field_4.field_2.field_3.field_1.field_2==-1.390625) && (a1.field_4.field_1.field_3.field_4.field_2.field_3.field_1.field_3==63) && (a1.field_4.field_1.field_3.field_4.field_2.field_3.field_1.field_4==209)) && ((a1.field_4.field_1.field_3.field_4.field_2.field_3.field_2.field_1==230983872282624) && (a1.field_4.field_1.field_3.field_4.field_2.field_3.field_2.field_2==184) && ((a1.field_4.field_1.field_3.field_4.field_2.field_3.field_2.field_3.field_1==15) && (a1.field_4.field_1.field_3.field_4.field_2.field_3.field_2.field_3.field_2==1.296875) && (a1.field_4.field_1.field_3.field_4.field_2.field_3.field_2.field_3.field_3==31) && (a1.field_4.field_1.field_3.field_4.field_2.field_3.field_2.field_3.field_4==255))))) && (((a1.field_4.field_1.field_3.field_4.field_3.field_1.field_1==1.015625) && ((a1.field_4.field_1.field_3.field_4.field_3.field_1.field_2.field_1==183) && (a1.field_4.field_1.field_3.field_4.field_3.field_1.field_2.field_2==-0.484375) && (a1.field_4.field_1.field_3.field_4.field_3.field_1.field_2.field_3==142) && (a1.field_4.field_1.field_3.field_4.field_3.field_1.field_2.field_4==16))) && (a1.field_4.field_1.field_3.field_4.field_3.field_2==137163913822208) && (a1.field_4.field_1.field_3.field_4.field_3.field_3==-2.80859375)))) && ((a1.field_4.field_1.field_4.field_1==170983975682048) && (a1.field_4.field_1.field_4.field_2==72796805398528) && (a1.field_4.field_1.field_4.field_3==42))) && (a1.field_4.field_2==1990287632) && ((a1.field_4.field_3.field_1==194) && (a1.field_4.field_3.field_2==3552591666)) && ((((a1.field_4.field_4.field_1.field_1.field_1==-0.375) && ((a1.field_4.field_4.field_1.field_1.field_2.field_1==79) && (a1.field_4.field_4.field_1.field_1.field_2.field_2==-0.625) && (a1.field_4.field_4.field_1.field_1.field_2.field_3==9) && (a1.field_4.field_4.field_1.field_1.field_2.field_4==188))) && ((a1.field_4.field_4.field_1.field_2.field_1==159828972142592) && (a1.field_4.field_4.field_1.field_2.field_2==48) && ((a1.field_4.field_4.field_1.field_2.field_3.field_1==128) && (a1.field_4.field_4.field_1.field_2.field_3.field_2==1.0) && (a1.field_4.field_4.field_1.field_2.field_3.field_3==62) && (a1.field_4.field_4.field_1.field_2.field_3.field_4==192))) && ((a1.field_4.field_4.field_1.field_3.field_1==179052505464832) && (a1.field_4.field_4.field_1.field_3.field_2==16) && ((a1.field_4.field_4.field_1.field_3.field_3.field_1==120) && (a1.field_4.field_4.field_1.field_3.field_3.field_2==0.625) && (a1.field_4.field_4.field_1.field_3.field_3.field_3==250) && (a1.field_4.field_4.field_1.field_3.field_3.field_4==151)))) && ((a1.field_4.field_4.field_2.field_1==196274257788928) && (a1.field_4.field_4.field_2.field_2==205) && ((a1.field_4.field_4.field_2.field_3.field_1==79) && (a1.field_4.field_4.field_2.field_3.field_2==-1.4375) && (a1.field_4.field_4.field_2.field_3.field_3==91) && (a1.field_4.field_4.field_2.field_3.field_4==96))) && (a1.field_4.field_4.field_3==0.09375) && (a1.field_4.field_4.field_4==E_6_4)) && (a1.field_4.field_5==1.515625)) && (a1.field_5==2.265625))) { goto bad; } if (!(a2==E_41_5)) { goto bad; } if (!((a3.field_1==E_32_8) && (a3.field_2==203))) { goto bad; } if (!((a4.field_1==-1.58984375) && (a4.field_2==217) && (a4.field_3==3500137676) && (a4.field_4==101686982737920))) { goto bad; } if (!(a5==0.10546875)) { goto bad; } if (!(a6==3.21875)) { goto bad; } if (!(a7==40133181046784)) { goto bad; } if (!(a8==71741835313152)) { goto bad; } if (!((a9.field_1==221313136459776) && (a9.field_2==104460582912) && (a9.field_3==149))) { goto bad; } return E_43_1; bad: return E_43_2; } uint32_t fn_7_c(t48 a1) { if (!(((a1.field_1.field_1==6386332991488) && (a1.field_1.field_2==-3.90625) && (a1.field_1.field_3==163) && (a1.field_1.field_4==155193554763776) && ((a1.field_1.field_5.field_1==E_35_3) && (a1.field_1.field_5.field_2==18))) && (((a1.field_2.field_1.field_1==112229799297024) && (a1.field_2.field_1.field_2==-2.8984375) && (a1.field_2.field_1.field_3==216) && (a1.field_2.field_1.field_4==44483204612096) && ((a1.field_2.field_1.field_5.field_1==E_35_2) && (a1.field_2.field_1.field_5.field_2==195))) && (a1.field_2.field_2==39665754832896) && (a1.field_2.field_3==114) && (a1.field_2.field_4==776337414)) && (a1.field_3==E_46_5) && (a1.field_4==146729052536832) && ((((a1.field_5.field_1.field_1.field_1==153) && (a1.field_5.field_1.field_1.field_2==1.234375) && (a1.field_5.field_1.field_1.field_3==43) && (a1.field_5.field_1.field_1.field_4==174)) && ((a1.field_5.field_1.field_2.field_1==26828980748288) && (a1.field_5.field_1.field_2.field_2==242) && ((a1.field_5.field_1.field_2.field_3.field_1==236) && (a1.field_5.field_1.field_2.field_3.field_2==-1.078125) && (a1.field_5.field_1.field_2.field_3.field_3==180) && (a1.field_5.field_1.field_2.field_3.field_4==30)))) && (a1.field_5.field_2==266092824363008)) && ((a1.field_6.field_1==13831859994624) && ((a1.field_6.field_2.field_1==0.390625)) && ((a1.field_6.field_3.field_1==0.0703125) && (a1.field_6.field_3.field_2==E_20_1) && (a1.field_6.field_3.field_3==E_21_6) && ((a1.field_6.field_3.field_4.field_1==-2.765625) && ((a1.field_6.field_3.field_4.field_2.field_1==175411747749888) && (((a1.field_6.field_3.field_4.field_2.field_2.field_1.field_1==262729443049472) && (a1.field_6.field_3.field_4.field_2.field_2.field_1.field_2==932333724) && (a1.field_6.field_3.field_4.field_2.field_2.field_1.field_3==5) && (a1.field_6.field_3.field_4.field_2.field_2.field_1.field_4==16) && (a1.field_6.field_3.field_4.field_2.field_2.field_1.field_5==17637135220736)) && (a1.field_6.field_3.field_4.field_2.field_2.field_2==46) && (a1.field_6.field_3.field_4.field_2.field_2.field_3==E_6_2)) && (((a1.field_6.field_3.field_4.field_2.field_3.field_1.field_1==211) && (a1.field_6.field_3.field_4.field_2.field_3.field_1.field_2==-0.5625) && (a1.field_6.field_3.field_4.field_2.field_3.field_1.field_3==171) && (a1.field_6.field_3.field_4.field_2.field_3.field_1.field_4==1)) && ((a1.field_6.field_3.field_4.field_2.field_3.field_2.field_1==12764915826688) && (a1.field_6.field_3.field_4.field_2.field_3.field_2.field_2==49) && ((a1.field_6.field_3.field_4.field_2.field_3.field_2.field_3.field_1==154) && (a1.field_6.field_3.field_4.field_2.field_3.field_2.field_3.field_2==1.375) && (a1.field_6.field_3.field_4.field_2.field_3.field_2.field_3.field_3==93) && (a1.field_6.field_3.field_4.field_2.field_3.field_2.field_3.field_4==73))))) && (((a1.field_6.field_3.field_4.field_3.field_1.field_1==-1.46875) && ((a1.field_6.field_3.field_4.field_3.field_1.field_2.field_1==79) && (a1.field_6.field_3.field_4.field_3.field_1.field_2.field_2==-0.90625) && (a1.field_6.field_3.field_4.field_3.field_1.field_2.field_3==49) && (a1.field_6.field_3.field_4.field_3.field_1.field_2.field_4==4))) && (a1.field_6.field_3.field_4.field_3.field_2==93216219463680) && (a1.field_6.field_3.field_4.field_3.field_3==-2.83203125)))) && ((a1.field_6.field_4.field_1==18454498639872) && (a1.field_6.field_4.field_2==269237052506112) && (a1.field_6.field_4.field_3==165))))) { goto bad; } return 2499773006; bad: return 3403919486; } float fn_8_c(t1 a1, t50 a2, t51 a3, float a4, t52 a5, uint32_t a6, t53 a7, uint8_t a8) { if (!((a1.field_1==200) && (a1.field_2==0.25) && (a1.field_3==18) && (a1.field_4==246))) { goto bad; } if (!((a2.field_1==-0.734375) && ((a2.field_2.field_1==8592161505280) && (a2.field_2.field_2==2.32421875) && (a2.field_2.field_3==77) && (a2.field_2.field_4==95804356820992) && ((a2.field_2.field_5.field_1==E_35_1) && (a2.field_2.field_5.field_2==126))) && (a2.field_3==-1.12109375) && (a2.field_4==E_49_3))) { goto bad; } if (!(a3==E_51_3)) { goto bad; } if (!(a4==0.1875)) { goto bad; } if (!((a5.field_1==-0.81640625))) { goto bad; } if (!(a6==441584498)) { goto bad; } if (!((a7.field_1==198))) { goto bad; } if (!(a8==89)) { goto bad; } return 1.421875; bad: return 0.5625; } uint64_t fn_9_c(t51 a1, float a2, float a3, t56 a4, t58 a5, t61 a6, t65 a7, t66 a8, t67 a9, double a10) { if (!(a1==E_51_8)) { goto bad; } if (!(a2==-0.796875)) { goto bad; } if (!(a3==-0.71875)) { goto bad; } if (!((a4.sed: Output line too long field_1==E_54_7) && (a4.field_2==255) && ((((a4.field_3.field_1.field_1.field_1==130105287114752) && ((a4.field_3.field_1.field_1.field_2.field_1==-1.0)) && ((a4.field_3.field_1.field_1.field_3.field_1==3.53125) && (a4.field_3.field_1.field_1.field_3.field_2==E_20_2) && (a4.field_3.field_1.field_1.field_3.field_3==E_21_1) && ((a4.field_3.field_1.field_1.field_3.field_4.field_1==-0.67578125) && ((a4.field_3.field_1.field_1.field_3.field_4.field_2.field_1==23617654620160) && (((a4.field_3.field_1.field_1.field_3.field_4.field_2.field_2.field_1.field_1==12594182750208) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_2.field_1.field_2==2889081194) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_2.field_1.field_3==84) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_2.field_1.field_4==84) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_2.field_1.field_5==265251503210496)) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_2.field_2==17) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_2.field_3==E_6_7)) && (((a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_1.field_1==141) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_1.field_2==-0.1875) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_1.field_3==10) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_1.field_4==118)) && ((a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_2.field_1==24302215233536) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_2.field_2==170) && ((a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_2.field_3.field_1==64) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_2.field_3.field_2==0.953125) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_2.field_3.field_3==156) && (a4.field_3.field_1.field_1.field_3.field_4.field_2.field_3.field_2.field_3.field_4==112))))) && (((a4.field_3.field_1.field_1.field_3.field_4.field_3.field_1.field_1==0.3125) && ((a4.field_3.field_1.field_1.field_3.field_4.field_3.field_1.field_2.field_1==168) && (a4.field_3.field_1.field_1.field_3.field_4.field_3.field_1.field_2.field_2==0.3125) && (a4.field_3.field_1.field_1.field_3.field_4.field_3.field_1.field_2.field_3==140) && (a4.field_3.field_1.field_1.field_3.field_4.field_3.field_1.field_2.field_4==197))) && (a4.field_3.field_1.field_1.field_3.field_4.field_3.field_2==149682231705600) && (a4.field_3.field_1.field_1.field_3.field_4.field_3.field_3==0.3828125)))) && ((a4.field_3.field_1.field_1.field_4.field_1==66190105247744) && (a4.field_3.field_1.field_1.field_4.field_2==201243456045056) && (a4.field_3.field_1.field_1.field_4.field_3==128))) && (a4.field_3.field_1.field_2==1608787508) && ((a4.field_3.field_1.field_3.field_1==208) && (a4.field_3.field_1.field_3.field_2==3925244758)) && ((((a4.field_3.field_1.field_4.field_1.field_1.field_1==-0.125) && ((a4.field_3.field_1.field_4.field_1.field_1.field_2.field_1==219) && (a4.field_3.field_1.field_4.field_1.field_1.field_2.field_2==0.265625) && (a4.field_3.field_1.field_4.field_1.field_1.field_2.field_3==201) && (a4.field_3.field_1.field_4.field_1.field_1.field_2.field_4==48))) && ((a4.field_3.field_1.field_4.field_1.field_2.field_1==148885215510528) && (a4.field_3.field_1.field_4.field_1.field_2.field_2==219) && ((a4.field_3.field_1.field_4.field_1.field_2.field_3.field_1==41) && (a4.field_3.field_1.field_4.field_1.field_2.field_3.field_2==-1.3125) && (a4.field_3.field_1.field_4.field_1.field_2.field_3.field_3==75) && (a4.field_3.field_1.field_4.field_1.field_2.field_3.field_4==52))) && ((a4.field_3.field_1.field_4.field_1.field_3.field_1==153670362464256) && (a4.field_3.field_1.field_4.field_1.field_3.field_2==97) && ((a4.field_3.field_1.field_4.field_1.field_3.field_3.field_1==222) && (a4.field_3.field_1.field_4.field_1.field_3.field_3.field_2==0.9375) && (a4.field_3.field_1.field_4.field_1.field_3.field_3.field_3==47) && (a4.field_3.field_1.field_4.field_1.field_3.field_3.field_4==122)))) && ((a4.field_3.field_1.field_4.field_2.field_1==66828912033792) && (a4.field_3.field_1.field_4.field_2.field_2==201) && ((a4.field_3.field_1.field_4.field_2.field_3.field_1==35) && (a4.field_3.field_1.field_4.field_2.field_3.field_2==1.046875) && (a4.field_3.field_1.field_4.field_2.field_3.field_3==86) && (a4.field_3.field_1.field_4.field_2.field_3.field_4==233))) && (a4.field_3.field_1.field_4.field_3==-0.421875) && (a4.field_3.field_1.field_4.field_4==E_6_7)) && (a4.field_3.field_1.field_5==-1.109375)) && (a4.field_3.field_2==350527626) && (a4.field_3.field_3==98) && (((a4.field_3.field_4.field_1.field_1==146849136115712) && (a4.field_3.field_4.field_1.field_2==3845172994) && (a4.field_3.field_4.field_1.field_3==76) && (a4.field_3.field_4.field_1.field_4==250) && (a4.field_3.field_4.field_1.field_5==212141542211584)) && (a4.field_3.field_4.field_2==227) && (a4.field_3.field_4.field_3==E_6_6))))) { goto bad; } if (!((a5.field_1==E_57_1) && ((a5.field_2.field_1==77)) && (a5.field_3==-2.5))) { goto bad; } if (!((a6.field_1==E_59_2) && (a6.field_2==-0.984375) && ((a6.field_3.field_1==-1.09375) && (a6.field_3.field_2==-1.53125) && (a6.field_3.field_3==20793480314880) && (a6.field_3.field_4==36073398206464)))) { goto bad; } if (!(((a7.field_1.field_1==-2.32421875) && (a7.field_1.field_2==208)) && ((a7.field_2.field_1==-0.0625) && ((((a7.field_2.field_2.field_1.field_1.field_1==224) && (a7.field_2.field_2.field_1.field_1.field_2==-0.984375) && (a7.field_2.field_2.field_1.field_1.field_3==131) && (a7.field_2.field_2.field_1.field_1.field_4==218)) && ((a7.field_2.field_2.field_1.field_2.field_1==209069555974144) && (a7.field_2.field_2.field_1.field_2.field_2==100) && ((a7.field_2.field_2.field_1.field_2.field_3.field_1==82) && (a7.field_2.field_2.field_1.field_2.field_3.field_2==1.4375) && (a7.field_2.field_2.field_1.field_2.field_3.field_3==89) && (a7.field_2.field_2.field_1.field_2.field_3.field_4==16)))) && (a7.field_2.field_2.field_2==273030717767680)) && (((((a7.field_2.field_3.field_1.field_1.field_1.field_1==62938097254400) && ((a7.field_2.field_3.field_1.field_1.field_1.field_2.field_1==107) && (a7.field_2.field_3.field_1.field_1.field_1.field_2.field_2==0.609375) && (a7.field_2.field_3.field_1.field_1.field_1.field_2.field_3==97) && (a7.field_2.field_3.field_1.field_1.field_1.field_2.field_4==70)) && (a7.field_2.field_3.field_1.field_1.field_1.field_3==77561457147904) && (a7.field_2.field_3.field_1.field_1.field_1.field_4==1.265625)) && (a7.field_2.field_3.field_1.field_1.field_2==-1.515625)) && ((((a7.field_2.field_3.field_1.field_2.field_1.field_1.field_1==-0.828125) && ((a7.field_2.field_3.field_1.field_2.field_1.field_1.field_2.field_1==174) && (a7.field_2.field_3.field_1.field_2.field_1.field_1.field_2.field_2==1.390625) && (a7.field_2.field_3.field_1.field_2.field_1.field_1.field_2.field_3==142) && (a7.field_2.field_3.field_1.field_2.field_1.field_1.field_2.field_4==121))) && ((a7.field_2.field_3.field_1.field_2.field_1.field_2.field_1==266278944636928) && (a7.field_2.field_3.field_1.field_2.field_1.field_2.field_2==1) && ((a7.field_2.field_3.field_1.field_2.field_1.field_2.field_3.field_1==57) && (a7.field_2.field_3.field_1.field_2.field_1.field_2.field_3.field_2==-0.1875) && (a7.field_2.field_3.field_1.field_2.field_1.field_2.field_3.field_3==53) && (a7.field_2.field_3.field_1.field_2.field_1.field_2.field_3.field_4==10))) && ((a7.field_2.field_3.field_1.field_2.field_1.field_3.field_1==258630503497728) && (a7.field_2.field_3.field_1.field_2.field_1.field_3.field_2==22) && ((a7.field_2.field_3.field_1.field_2.field_1.field_3.field_3.field_1==58) && (a7.field_2.field_3.field_1.field_2.field_1.field_3.field_3.field_2==-0.203125) && (a7.field_2.field_3.field_1.field_2.field_1.field_3.field_3.field_3==241) && (a7.field_2.field_3.field_1.field_2.field_1.field_3.field_3.field_4==248)))) && ((a7.field_2.field_3.field_1.field_2.field_2.field_1==232005730828288) && (a7.field_2.field_3.field_1.field_2.field_2.field_2==67) && ((a7.field_2.field_3.field_1.field_2.field_2.field_3.field_1==237) && (a7.field_2.field_3.field_1.field_2.field_2.field_3.field_2==-1.03125) && (a7.field_2.field_3.field_1.field_2.field_2.field_3.field_3==83) && (a7.field_2.field_3.field_1.field_2.field_2.field_3.field_4==229))) && (a7.field_2.field_3.field_1.field_2.field_3==-0.328125) && (a7.field_2.field_3.field_1.field_2.field_4==E_6_6)) && (a7.field_2.field_3.field_1.field_3==2541087240) && (((a7.field_2.field_3.field_1.field_4.field_1.field_1==0.875) && ((a7.field_2.field_3.field_1.field_4.field_1.field_2.field_1==4) && (a7.field_2.field_3.field_1.field_4.field_1.field_2.field_2==1.15625) && (a7.field_2.field_3.field_1.field_4.field_1.field_2.field_3==173) && (a7.field_2.field_3.field_1.field_4.field_1.field_2.field_4==8))) && ((a7.field_2.field_3.field_1.field_4.field_2.field_1==29310895783936) && (a7.field_2.field_3.field_1.field_4.field_2.field_2==92) && ((a7.field_2.field_3.field_1.field_4.field_2.field_3.field_1==250) && (a7.field_2.field_3.field_1.field_4.field_2.field_3.field_2==0.515625) && (a7.field_2.field_3.field_1.field_4.field_2.field_3.field_3==214) && (a7.field_2.field_3.field_1.field_4.field_2.field_3.field_4==236))) && ((a7.field_2.field_3.field_1.field_4.field_3.field_1==188538419019776) && (a7.field_2.field_3.field_1.field_4.field_3.field_2==16) && ((a7.field_2.field_3.field_1.field_4.field_3.field_3.field_1==92) && (a7.field_2.field_3.field_1.field_4.field_3.field_3.field_2==1.1875) && (a7.field_2.field_3.field_1.field_4.field_3.field_3.field_3==26) && (a7.field_2.field_3.field_1.field_4.field_3.field_3.field_4==72))))) && (a7.field_2.field_3.field_2==E_19_9) && (a7.field_2.field_3.field_3==93123907813376) && (a7.field_2.field_3.field_4==E_20_6) && (a7.field_2.field_3.field_5==E_21_9) && ((a7.field_2.field_3.field_6.field_1==84919533043712) && (a7.field_2.field_3.field_6.field_2==2312961846))) && (a7.field_2.field_4==738749758)) && (((a7.field_3.field_1.field_1==E_59_2) && (a7.field_3.field_1.field_2==0.671875) && ((a7.field_3.field_1.field_3.field_1==-0.01953125) && (a7.field_3.field_1.field_3.field_2==-1.171875) && (a7.field_3.field_1.field_3.field_3==30820079632384) && (a7.field_3.field_1.field_3.field_4==68216701976576))) && (a7.field_3.field_2==E_21_7) && (a7.field_3.field_3==227) && (a7.field_3.field_4==E_31_2)))) { goto bad; } if (!(a8==E_66_3)) { goto bad; } if (!(a9==E_67_3)) { goto bad; } if (!(a10==2.06640625)) { goto bad; } return 6316575686656; bad: return 232898686615552; } float fn_10_c(t74 a1, float a2, t75 a3, uint8_t a4, t78 a5, t79 a6) { if (!(((a1.field_1.field_1==1.21875) && (a1.field_1.field_2==-0.890625) && (a1.field_1.field_3==E_54_5) && (a1.field_1.field_4==-1.140625)) && ((a1.field_2.field_1==-2.86328125) && ((a1.field_2.field_2.field_1==272734424006656) && ((a1.field_2.field_2.field_2.field_1==168) && (a1.field_2.field_2.field_2.field_2==-0.3125) && (a1.field_2.field_2.field_2.field_3==7) && (a1.field_2.field_2.field_2.field_4==96)) && (a1.field_2.field_2.field_3==194650230882304) && (a1.field_2.field_2.field_4==1.3125)) && (a1.field_2.field_3==2832640246) && (a1.field_2.field_4==248902425116672) && (a1.field_2.field_5==3177491204) && (a1.field_2.field_6==E_20_7)) && ((((a1.field_3.field_1.field_1.field_1==242) && (a1.field_3.field_1.field_1.field_2==1.0) && (a1.field_3.field_1.field_1.field_3==118) && (a1.field_3.field_1.field_1.field_4==202)) && ((a1.field_3.field_1.field_2.field_1==130511054045184) && (a1.field_3.field_1.field_2.field_2==60) && ((a1.field_3.field_1.field_2.field_3.field_1==149) && (a1.field_3.field_1.field_2.field_3.field_2==1.25) && (a1.field_3.field_1.field_2.field_3.field_3==209) && (a1.field_3.field_1.field_2.field_3.field_4==211)))) && (a1.field_3.field_2==65)) && (a1.field_4==E_71_4) && (a1.field_5==E_72_7) && ((a1.field_6.field_1==1065245434) && (a1.field_6.field_2==0.359375) && ((a1.field_6.field_3.field_1==182449277763584) && (a1.field_6.field_3.field_2==2003708228))))) { goto bad; } if (!(a2==0.890625)) { goto bad; } if (!(a3==E_75_4)) { goto bad; } if (!(a4==73)) { goto bad; }