shithub: mc

ref: de0a04474a050a5b877ccc9be2381b870c17e222
dir: /test/abi/006_in-c.glue.c/

View raw version
/* CFLAGS: -I/usr/include/ */
/* CFLAGS: -I/usr/include */
/* LIBS: c */

#include <stdint.h>
#include "006_types.h"

extern t7 fn_1_myr(uint32_t a1, t3 a2, t2 a3, float a4, uint8_t a5);
extern float fn_2_myr(t7 a1, t8 a2, t12 a3, double a4, t15 a5, t13 a6, uint32_t a7);
extern float fn_3_myr(t5 a1, t15 a2, t16 a3, t16 a4, uint64_t a5, t17 a6, t12 a7);
extern t2 fn_4_myr(t1 a1, t21 a2, t23 a3, double a4, t6 a5, uint64_t a6, double a7);
extern t3 fn_5_myr(uint32_t a1, t24 a2, double a3, t25 a4, uint64_t a5, t28 a6);
extern double fn_6_myr(t29 a1, t8 a2, t33 a3, t5 a4, uint32_t a5, float a6, t11 a7, t36 a8, t16 a9, t37 a10);
extern double fn_7_myr(uint64_t a1, t38 a2, uint8_t a3, t40 a4, t42 a5, t43 a6, uint8_t a7);
extern t44 fn_8_myr(void);
extern t53 fn_9_myr(t45 a1, t46 a2, t45 a3, t47 a4, t48 a5, float a6, double a7, uint8_t a8, uint64_t a9, t49 a10);
extern float fn_10_myr(float a1, t55 a2, t43 a3);
extern uint32_t fn_11_myr(t40 a1, uint64_t a2, t59 a3);
extern uint32_t fn_12_myr(t63 a1, double a2, uint32_t a3, t68 a4);
extern t74 fn_13_myr(t26 a1, uint32_t a2, t70 a3, double a4, t73 a5);
extern uint64_t fn_14_myr(uint32_t a1, uint8_t a2, t78 a3, t81 a4, t32 a5, t82 a6, t85 a7);
extern t102 fn_15_myr(t86 a1, t69 a2, t88 a3, t93 a4, t95 a5, t25 a6, float a7, t60 a8, t97 a9, t100 a10);
extern t15 fn_16_myr(uint64_t a1, t57 a2);
extern double fn_17_myr(float a1, t10 a2, t35 a3, float a4, t18 a5, uint64_t a6, t3 a7, float a8, t56 a9, t72 a10);
extern t68 fn_18_myr(t29 a1, t50 a2, t94 a3, t97 a4, t82 a5, uint32_t a6);
extern uint8_t fn_19_myr(uint64_t a1, uint8_t a2);
extern uint8_t fn_20_myr(t72 a1, t54 a2, t102 a3, t30 a4, float a5, t100 a6, t82 a7, t92 a8, t19 a9);

t7
fn_1_c(uint32_t a1, t3 a2, t2 a3, float a4, uint8_t a5)
{
    if (!(a1==3331313618)) {
        goto bad;
    }

    if (!((a2.field_1==163) && ((a2.field_2.field_1==112669747445760) && (a2.field_2.field_2==68) && (a2.field_2.field_3==2961163238) && (a2.field_2.field_4==144) && (a2.field_2.field_5==3.1171875) && (a2.field_2.field_6==-0.77734375)) && (a2.field_3==2638767956) && (a2.field_4==E_2_3))) {
        goto bad;
    }

    if (!(a3==E_2_1)) {
        goto bad;
    }

    if (!(a4==0.875)) {
        goto bad;
    }

    if (!(a5==63)) {
        goto bad;
    }

    return (t7) {.field_1=(t4) {.field_1=156,.field_2=2.83203125,.field_3=67,.field_4=143760266887168,.field_5=E_2_6,.field_6=2927029180},.field_2=(t5) {.field_1=-2.55078125,.field_2=159665344872448,.field_3=199843724394496},.field_3=(t6) {.field_1=-0.625,.field_2=E_2_6}};

bad:
    return (t7) {.field_1=(t4) {.field_1=224,.field_2=-3.55859375,.field_3=83,.field_4=192626519703552,.field_5=E_2_2,.field_6=280197342},.field_2=(t5) {.field_1=-2.49609375,.field_2=252253836541952,.field_3=197595307704320},.field_3=(t6) {.field_1=-1.328125,.field_2=E_2_2}};
}

float
fn_2_c(t7 a1, t8 a2, t12 a3, double a4, t15 a5, t13 a6, uint32_t a7)
{
    if (!(((a1.field_1.field_1==195) && (a1.field_1.field_2==-2.625) && (a1.field_1.field_3==107) && (a1.field_1.field_4==250193960632320) && (a1.field_1.field_5==E_2_1) && (a1.field_1.field_6==3277066896)) && ((a1.field_2.field_1==0.01171875) && (a1.field_2.field_2==271113481355264) && (a1.field_2.field_3==7202154348544)) && ((a1.field_3.field_1==-1.53125) && (a1.field_3.field_2==E_2_6)))) {
        goto bad;
    }

    if (!(((a2.field_1.field_1==75) && ((a2.field_1.field_2.field_1==149688830001152) && (a2.field_1.field_2.field_2==166) && (a2.field_1.field_2.field_3==4203656652) && (a2.field_1.field_2.field_4==184) && (a2.field_1.field_2.field_5==1.6796875) && (a2.field_1.field_2.field_6==-2.66015625)) && (a2.field_1.field_3==2647535284) && (a2.field_1.field_4==E_2_3)) && ((a2.field_2.field_1==60) && ((a2.field_2.field_2.field_1==234959706259456) && (a2.field_2.field_2.field_2==30) && (a2.field_2.field_2.field_3==3070502934) && (a2.field_2.field_2.field_4==195) && (a2.field_2.field_2.field_5==2.9921875) && (a2.field_2.field_2.field_6==2.96484375)) && (a2.field_2.field_3==803402210) && (a2.field_2.field_4==E_2_5)))) {
        goto bad;
    }

    if (!((a3.field_1==0.203125) && (((a3.field_2.field_1.field_1==-0.140625) && (a3.field_2.field_1.field_2==E_2_2)) && (a3.field_2.field_2==151793905303552) && ((a3.field_2.field_3.field_1==0.75) && (a3.field_2.field_3.field_2==E_2_1)) && (a3.field_2.field_4==-0.875) && (a3.field_2.field_5==59595538169856) && ((a3.field_2.field_6.field_1==-0.51171875) && (a3.field_2.field_6.field_2==90586118225920) && (a3.field_2.field_6.field_3==47799910137856))) && ((a3.field_3.field_1==-3.4140625) && (a3.field_3.field_2==0.671875) && (a3.field_3.field_3==185693112107008)) && (a3.field_4==-1.23828125) && (a3.field_5==E_11_1) && (a3.field_6==2.890625))) {
        goto bad;
    }

    if (!(a4==0.94921875)) {
        goto bad;
    }

    if (!(((a5.field_1.field_1==2.03515625) && (a5.field_1.field_2==29216526696448) && (a5.field_1.field_3==236353793556480)) && (a5.field_2==1.09375) && ((a5.field_3.field_1==4181791332) && (((a5.field_3.field_2.field_1.field_1==44) && ((a5.field_3.field_2.field_1.field_2.field_1==132595126632448) && (a5.field_3.field_2.field_1.field_2.field_2==171) && (a5.field_3.field_2.field_1.field_2.field_3==3948447728) && (a5.field_3.field_2.field_1.field_2.field_4==220) && (a5.field_3.field_2.field_1.field_2.field_5==-3.69140625) && (a5.field_3.field_2.field_1.field_2.field_6==-2.40625)) && (a5.field_3.field_2.field_1.field_3==3172323970) && (a5.field_3.field_2.field_1.field_4==E_2_5)) && ((a5.field_3.field_2.field_2.field_1==224) && ((a5.field_3.field_2.field_2.field_2.field_1==275519312887808) && (a5.field_3.field_2.field_2.field_2.field_2==53) && (a5.field_3.field_2.field_2.field_2.field_3==3186715686) && (a5.field_3.field_2.field_2.field_2.field_4==144) && (a5.field_3.field_2.field_2.field_2.field_5==-2.5703125) && (a5.field_3.field_2.field_2.field_2.field_6==-3.41015625)) && (a5.field_3.field_2.field_2.field_3==1867717394) && (a5.field_3.field_2.field_2.field_4==E_2_5))) && (a5.field_3.field_3==35551921045504) && (a5.field_3.field_4==-0.203125) && (a5.field_3.field_5==101)) && ((a5.field_4.field_1==102) && (a5.field_4.field_2==1.15625)))) {
        goto bad;
    }

    if (!((a6.field_1==1580005156) && (((a6.field_2.field_1.field_1==51) && ((a6.field_2.field_1.field_2.field_1==266965320073216) && (a6.field_2.field_1.field_2.field_2==53) && (a6.field_2.field_1.field_2.field_3==212878900) && (a6.field_2.field_1.field_2.field_4==236) && (a6.field_2.field_1.field_2.field_5==-0.921875) && (a6.field_2.field_1.field_2.field_6==0.16015625)) && (a6.field_2.field_1.field_3==2543329268) && (a6.field_2.field_1.field_4==E_2_2)) && ((a6.field_2.field_2.field_1==98) && ((a6.field_2.field_2.field_2.field_1==174501380489216) && (a6.field_2.field_2.field_2.field_2==126) && (a6.field_2.field_2.field_2.field_3==522689612) && (a6.field_2.field_2.field_2.field_4==110) && (a6.field_2.field_2.field_2.field_5==-1.0234375) && (a6.field_2.field_2.field_2.field_6==-3.12109375)) && (a6.field_2.field_2.field_3==2756676114) && (a6.field_2.field_2.field_4==E_2_1))) && (a6.field_3==186819725099008) && (a6.field_4==0.984375) && (a6.field_5==44))) {
        goto bad;
    }

    if (!(a7==2083878374)) {
        goto bad;
    }

    return 0.109375;

bad:
    return 1.1875;
}

float
fn_3_c(t5 a1, t15 a2, t16 a3, t16 a4, uint64_t a5, t17 a6, t12 a7)
{
    if (!((a1.field_1==0.36328125) && (a1.field_2==217080895242240) && (a1.field_3==146180381081600))) {
        goto bad;
    }

    if (!(((a2.field_1.field_1==0.5390625) && (a2.field_1.field_2==117399373217792) && (a2.field_1.field_3==101569454014464)) && (a2.field_2==-1.296875) && ((a2.field_3.field_1==39734246) && (((a2.field_3.field_2.field_1.field_1==169) && ((a2.field_3.field_2.field_1.field_2.field_1==133031533740032) && (a2.field_3.field_2.field_1.field_2.field_2==161) && (a2.field_3.field_2.field_1.field_2.field_3==668802928) && (a2.field_3.field_2.field_1.field_2.field_4==152) && (a2.field_3.field_2.field_1.field_2.field_5==-3.4296875) && (a2.field_3.field_2.field_1.field_2.field_6==0.1953125)) && (a2.field_3.field_2.field_1.field_3==2984403120) && (a2.field_3.field_2.field_1.field_4==E_2_5)) && ((a2.field_3.field_2.field_2.field_1==162) && ((a2.field_3.field_2.field_2.field_2.field_1==100930591260672) && (a2.field_3.field_2.field_2.field_2.field_2==132) && (a2.field_3.field_2.field_2.field_2.field_3==3484222870) && (a2.field_3.field_2.field_2.field_2.field_4==117) && (a2.field_3.field_2.field_2.field_2.field_5==-3.8984375) && (a2.field_3.field_2.field_2.field_2.field_6==-3.02734375)) && (a2.field_3.field_2.field_2.field_3==4255148568) && (a2.field_3.field_2.field_2.field_4==E_2_6))) && (a2.field_3.field_3==229240590827520) && (a2.field_3.field_4==-0.328125) && (a2.field_3.field_5==51)) && ((a2.field_4.field_1==92) && (a2.field_4.field_2==-1.046875)))) {
        goto bad;
    }

    if (!((a3.field_1==1212401592) && (a3.field_2==-1.046875) && (a3.field_3==1.109375) && ((a3.field_4.field_1==1.296875) && (a3.field_4.field_2==E_2_2)))) {
        goto bad;
    }

    if (!((a4.field_1==3641606114) && (a4.field_2==-1.125) && (a4.field_3==0.546875) && ((a4.field_4.field_1==-0.046875) && (a4.field_4.field_2==E_2_3)))) {
        goto bad;
    }

    if (!(a5==83130758201344)) {
        goto bad;
    }

    if (!(((a6.field_1.field_1==954818626) && (a6.field_1.field_2==-0.5) && (a6.field_1.field_3==-0.703125) && ((a6.field_1.field_4.field_1==0.265625) && (a6.field_1.field_4.field_2==E_2_4))) && (a6.field_2==254))) {
        goto bad;
    }

    if (!((a7.field_1==-0.671875) && (((a7.field_2.field_1.field_1==0.671875) && (a7.field_2.field_1.field_2==E_2_1)) && (a7.field_2.field_2==186559912869888) && ((a7.field_2.field_3.field_1==1.546875) && (a7.field_2.field_3.field_2==E_2_2)) && (a7.field_2.field_4==0.046875) && (a7.field_2.field_5==255023204139008) && ((a7.field_2.field_6.field_1==1.13671875) && (a7.field_2.field_6.field_2==270028714934272) && (a7.field_2.field_6.field_3==247333204000768))) && ((a7.field_3.field_1==-0.0546875) && (a7.field_3.field_2==-1.25) && (a7.field_3.field_3==156053374763008)) && (a7.field_4==3.73046875) && (a7.field_5==E_11_4) && (a7.field_6==1.92578125))) {
        goto bad;
    }

    return 0.171875;

bad:
    return 1.375;
}

t2
fn_4_c(t1 a1, t21 a2, t23 a3, double a4, t6 a5, uint64_t a6, double a7)
{
    if (!((a1.field_1==254108937224192) && (a1.field_2==215) && (a1.field_3==1243252406) && (a1.field_4==124) && (a1.field_5==-1.1875) && (a1.field_6==-1.68359375))) {
        goto bad;
    }

    if (!((a2.field_1==E_18_8) && (a2.field_2==4113752024) && (a2.field_3==0.5) && (a2.field_4==E_19_5) && ((a2.field_5.field_1==-0.3203125) && (a2.field_5.field_2==1.33984375) && ((a2.field_5.field_3.field_1==-0.171875) && (((a2.field_5.field_3.field_2.field_1.field_1==-0.625) && (a2.field_5.field_3.field_2.field_1.field_2==E_2_6)) && (a2.field_5.field_3.field_2.field_2==262778588495872) && ((a2.field_5.field_3.field_2.field_3.field_1==0.46875) && (a2.field_5.field_3.field_2.field_3.field_2==E_2_2)) && (a2.field_5.field_3.field_2.field_4==1.125) && (a2.field_5.field_3.field_2.field_5==182381629145088) && ((a2.field_5.field_3.field_2.field_6.field_1==2.4609375) && (a2.field_5.field_3.field_2.field_6.field_2==139713139179520) && (a2.field_5.field_3.field_2.field_6.field_3==225645534511104))) && ((a2.field_5.field_3.field_3.field_1==-3.54296875) && (a2.field_5.field_3.field_3.field_2==-1.171875) && (a2.field_5.field_3.field_3.field_3==78173635870720)) && (a2.field_5.field_3.field_4==2.28515625) && (a2.field_5.field_3.field_5==E_11_4) && (a2.field_5.field_3.field_6==-0.7890625))) && (((a2.field_6.field_1.field_1==-0.01953125) && (a2.field_6.field_1.field_2==23439019999232) && (a2.field_6.field_1.field_3==3807452332032)) && (a2.field_6.field_2==-0.625) && ((a2.field_6.field_3.field_1==233931326) && (((a2.field_6.field_3.field_2.field_1.field_1==154) && ((a2.field_6.field_3.field_2.field_1.field_2.field_1==198616597528576) && (a2.field_6.field_3.field_2.field_1.field_2.field_2==197) && (a2.field_6.field_3.field_2.field_1.field_2.field_3==2016579036) && (a2.field_6.field_3.field_2.field_1.field_2.field_4==169) && (a2.field_6.field_3.field_2.field_1.field_2.field_5==-0.5546875) && (a2.field_6.field_3.field_2.field_1.field_2.field_6==-3.796875)) && (a2.field_6.field_3.field_2.field_1.field_3==526208716) && (a2.field_6.field_3.field_2.field_1.field_4==E_2_1)) && ((a2.field_6.field_3.field_2.field_2.field_1==118) && ((a2.field_6.field_3.field_2.field_2.field_2.field_1==119263763103744) && (a2.field_6.field_3.field_2.field_2.field_2.field_2==15) && (a2.field_6.field_3.field_2.field_2.field_2.field_3==1698145536) && (a2.field_6.field_3.field_2.field_2.field_2.field_4==18) && (a2.field_6.field_3.field_2.field_2.field_2.field_5==-1.51171875) && (a2.field_6.field_3.field_2.field_2.field_2.field_6==-1.921875)) && (a2.field_6.field_3.field_2.field_2.field_3==3097128252) && (a2.field_6.field_3.field_2.field_2.field_4==E_2_1))) && (a2.field_6.field_3.field_3==211270742966272) && (a2.field_6.field_3.field_4==0.078125) && (a2.field_6.field_3.field_5==42)) && ((a2.field_6.field_4.field_1==225) && (a2.field_6.field_4.field_2==0.9375))))) {
        goto bad;
    }

    if (!((a3.field_1==190020550524928) && ((a3.field_2.field_1==11) && (a3.field_2.field_2==-1.0625)) && (a3.field_3==210612318502912) && ((a3.field_4.field_1==-0.46875) && (a3.field_4.field_2==116393468362752) && (((a3.field_4.field_3.field_1.field_1==120) && (a3.field_4.field_3.field_1.field_2==-0.21484375) && (a3.field_4.field_3.field_1.field_3==42) && (a3.field_4.field_3.field_1.field_4==279254693969921) && (a3.field_4.field_3.field_1.field_5==E_2_4) && (a3.field_4.field_3.field_1.field_6==185092378)) && ((a3.field_4.field_3.field_2.field_1==2.28515625) && (a3.field_4.field_3.field_2.field_2==168886583296000) && (a3.field_4.field_3.field_2.field_3==165671684931584)) && ((a3.field_4.field_3.field_3.field_1==1.546875) && (a3.field_4.field_3.field_3.field_2==E_2_1))) && (((a3.field_4.field_4.field_1.field_1==933489974) && (a3.field_4.field_4.field_1.field_2==-0.921875) && (a3.field_4.field_4.field_1.field_3==1.0) && ((a3.field_4.field_4.field_1.field_4.field_1==1.265625) && (a3.field_4.field_4.field_1.field_4.field_2==E_2_1))) && (a3.field_4.field_4.field_2==72))))) {
        goto bad;
    }

    if (!(a4==-1.47265625)) {
        goto bad;
    }

    if (!((a5.field_1==0.359375) && (a5.field_2==E_2_4))) {
        goto bad;
    }

    if (!(a6==106223398289408)) {
        goto bad;
    }

    if (!(a7==-1.80078125)) {
        goto bad;
    }

    return E_2_4;

bad:
    return E_2_6;
}

t3
fn_5_c(uint32_t a1, t24 a2, double a3, t25 a4, uint64_t a5, t28 a6)
{
    if (!(a1==490829306)) {
        goto bad;
    }

    if (!(a2==E_24_2)) {
        goto bad;
    }

    if (!(a3==-1.296875)) {
        goto bad;
    }

    if (!((a4.field_1==E_24_8) && ((a4.field_2.field_1==0.1875) && (a4.field_2.field_2==E_2_3)))) {
        goto bad;
    }

    if (!(a5==245616036151296)) {
        goto bad;
    }

    if (!((((a6.field_1.field_1.field_1==2.08203125) && (a6.field_1.field_1.field_2==35857928683520) && (a6.field_1.field_1.field_3==93232914235392)) && (a6.field_1.field_2==-0.609375) && ((a6.field_1.field_3.field_1==1442943954) && (((a6.field_1.field_3.field_2.field_1.field_1==49) && ((a6.field_1.field_3.field_2.field_1.field_2.field_1==243496050229248) && (a6.field_1.field_3.field_2.field_1.field_2.field_2==211) && (a6.field_1.field_3.field_2.field_1.field_2.field_3==1781303846) && (a6.field_1.field_3.field_2.field_1.field_2.field_4==188) && (a6.field_1.field_3.field_2.field_1.field_2.field_5==1.796875) && (a6.field_1.field_3.field_2.field_1.field_2.field_6==2.92578125)) && (a6.field_1.field_3.field_2.field_1.field_3==961004516) && (a6.field_1.field_3.field_2.field_1.field_4==E_2_2)) && ((a6.field_1.field_3.field_2.field_2.field_1==142) && ((a6.field_1.field_3.field_2.field_2.field_2.field_1==24547072671744) && (a6.field_1.field_3.field_2.field_2.field_2.field_2==51) && (a6.field_1.field_3.field_2.field_2.field_2.field_3==2197818536) && (a6.field_1.field_3.field_2.field_2.field_2.field_4==124) && (a6.field_1.field_3.field_2.field_2.field_2.field_5==-2.42578125) && (a6.field_1.field_3.field_2.field_2.field_2.field_6==-3.234375)) && (a6.field_1.field_3.field_2.field_2.field_3==3597667158) && (a6.field_1.field_3.field_2.field_2.field_4==E_2_5))) && (a6.field_1.field_3.field_3==212450688237568) && (a6.field_1.field_3.field_4==-0.625) && (a6.field_1.field_3.field_5==212)) && ((a6.field_1.field_4.field_1==40) && (a6.field_1.field_4.field_2==1.328125))) && (a6.field_2==E_26_3) && ((((a6.field_3.field_1.field_1.field_1==3.07421875) && (a6.field_3.field_1.field_1.field_2==82227144294400) && (a6.field_3.field_1.field_1.field_3==7948002787328)) && (a6.field_3.field_1.field_2==-1.5) && ((a6.field_3.field_1.field_3.field_1==2677308022) && (((a6.field_3.field_1.field_3.field_2.field_1.field_1==85) && ((a6.field_3.field_1.field_3.field_2.field_1.field_2.field_1==100333243203584) && (a6.field_3.field_1.field_3.field_2.field_1.field_2.field_2==209) && (a6.field_3.field_1.field_3.field_2.field_1.field_2.field_3==846728032) && (a6.field_3.field_1.field_3.field_2.field_1.field_2.field_4==47) && (a6.field_3.field_1.field_3.field_2.field_1.field_2.field_5==-2.0859375) && (a6.field_3.field_1.field_3.field_2.field_1.field_2.field_6==3.3984375)) && (a6.field_3.field_1.field_3.field_2.field_1.field_3==3924268624) && (a6.field_3.field_1.field_3.field_2.field_1.field_4==E_2_1)) && ((a6.field_3.field_1.field_3.field_2.field_2.field_1==40) && ((a6.field_3.field_1.field_3.field_2.field_2.field_2.field_1==58951057276928) && (a6.field_3.field_1.field_3.field_2.field_2.field_2.field_2==170) && (a6.field_3.field_1.field_3.field_2.field_2.field_2.field_3==1055614716) && (a6.field_3.field_1.field_3.field_2.field_2.field_2.field_4==104) && (a6.field_3.field_1.field_3.field_2.field_2.field_2.field_5==-2.51953125) && (a6.field_3.field_1.field_3.field_2.field_2.field_2.field_6==1.8203125)) && (a6.field_3.field_1.field_3.field_2.field_2.field_3==2570174796) && (a6.field_3.field_1.field_3.field_2.field_2.field_4==E_2_2))) && (a6.field_3.field_1.field_3.field_3==160655520563200) && (a6.field_3.field_1.field_3.field_4==-0.515625) && (a6.field_3.field_1.field_3.field_5==4)) && ((a6.field_3.field_1.field_4.field_1==223) && (a6.field_3.field_1.field_4.field_2==-1.0625))) && (a6.field_3.field_2==-1.015625) && (a6.field_3.field_3==0.9375) && (a6.field_3.field_4==119362880667648) && (a6.field_3.field_5==-1.359375) && (a6.field_3.field_6==25145455280128)))) {
        goto bad;
    }

    return (t3) {.field_1=182,.field_2=(t1) {.field_1=220780978372608,.field_2=114,.field_3=2281314962,.field_4=251,.field_5=1.01171875,.field_6=2.06640625},.field_3=3935630006,.field_4=E_2_4};

bad:
    return (t3) {.field_1=223,.field_2=(t1) {.field_1=21084164849664,.field_2=192,.field_3=2309250974,.field_4=82,.field_5=-2.64453125,.field_6=1.68359375},.field_3=231075084,.field_4=E_2_5};
}

double
fn_6_c(t29 a1, t8 a2, t33 a3, t5 a4, uint32_t a5, float a6, t11 a7, t36 a8, t16 a9, t37 a10)
{
    if (!(a1==E_29_6)) {
        goto bad;
    }

    if (!(((a2.field_1.field_1==44) && ((a2.field_1.field_2.field_1==82970538278912) && (a2.field_1.field_2.field_2==173) && (a2.field_1.field_2.field_3==1039620306) && (a2.field_1.field_2.field_4==98) && (a2.field_1.field_2.field_5==-2.87890625) && (a2.field_1.field_2.field_6==-1.3203125)) && (a2.field_1.field_3==415749068) && (a2.field_1.field_4==E_2_6)) && ((a2.field_2.field_1==198) && ((a2.field_2.field_2.field_1==176754788270080) && (a2.field_2.field_2.field_2==229) && (a2.field_2.field_2.field_3==1745396264) && (a2.field_2.field_2.field_4==100) && (a2.field_2.field_2.field_5==2.453125) && (a2.field_2.field_2.field_6==3.51171875)) && (a2.field_2.field_3==1134845604) && (a2.field_2.field_4==E_2_6)))) {
        goto bad;
    }

    if (!((a3.field_1==45346413608960) && ((a3.field_2.field_1==1.5546875) && ((a3.field_2.field_2.field_1==E_18_1) && (a3.field_2.field_2.field_2==3388995392) && (a3.field_2.field_2.field_3==0.296875) && (a3.field_2.field_2.field_4==E_19_4) && ((a3.field_2.field_2.field_5.field_1==-2.4921875) && (a3.field_2.field_2.field_5.field_2==-0.69921875) && ((a3.field_2.field_2.field_5.field_3.field_1==-0.390625) && (((a3.field_2.field_2.field_5.field_3.field_2.field_1.field_1==-0.171875) && (a3.field_2.field_2.field_5.field_3.field_2.field_1.field_2==E_2_2)) && (a3.field_2.field_2.field_5.field_3.field_2.field_2==21150251483136) && ((a3.field_2.field_2.field_5.field_3.field_2.field_3.field_1==-0.796875) && (a3.field_2.field_2.field_5.field_3.field_2.field_3.field_2==E_2_4)) && (a3.field_2.field_2.field_5.field_3.field_2.field_4==1.375) && (a3.field_2.field_2.field_5.field_3.field_2.field_5==215200983941120) && ((a3.field_2.field_2.field_5.field_3.field_2.field_6.field_1==2.125) && (a3.field_2.field_2.field_5.field_3.field_2.field_6.field_2==158112869384192) && (a3.field_2.field_2.field_5.field_3.field_2.field_6.field_3==73351684030464))) && ((a3.field_2.field_2.field_5.field_3.field_3.field_1==1.25) && (a3.field_2.field_2.field_5.field_3.field_3.field_2==-0.703125) && (a3.field_2.field_2.field_5.field_3.field_3.field_3==212315222310912)) && (a3.field_2.field_2.field_5.field_3.field_4==-3.5546875) && (a3.field_2.field_2.field_5.field_3.field_5==E_11_2) && (a3.field_2.field_2.field_5.field_3.field_6==-0.61328125))) && (((a3.field_2.field_2.field_6.field_1.field_1==1.76171875) && (a3.field_2.field_2.field_6.field_1.field_2==253745235361792) && (a3.field_2.field_2.field_6.field_1.field_3==92984779997184)) && (a3.field_2.field_2.field_6.field_2==0.90625) && ((a3.field_2.field_2.field_6.field_3.field_1==2939679992) && (((a3.field_2.field_2.field_6.field_3.field_2.field_1.field_1==146) && ((a3.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_1==267681124188160) && (a3.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_2==98) && (a3.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_3==2525744200) && (a3.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_4==189) && (a3.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_5==3.75390625) && (a3.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_6==-3.81640625)) && (a3.field_2.field_2.field_6.field_3.field_2.field_1.field_3==3957579288) && (a3.field_2.field_2.field_6.field_3.field_2.field_1.field_4==E_2_3)) && ((a3.field_2.field_2.field_6.field_3.field_2.field_2.field_1==98) && ((a3.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_1==103318747742208) && (a3.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_2==176) && (a3.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_3==1976332274) && (a3.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_4==157) && (a3.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_5==-2.35546875) && (a3.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_6==-0.79296875)) && (a3.field_2.field_2.field_6.field_3.field_2.field_2.field_3==1628294370) && (a3.field_2.field_2.field_6.field_3.field_2.field_2.field_4==E_2_6))) && (a3.field_2.field_2.field_6.field_3.field_3==270327169941504) && (a3.field_2.field_2.field_6.field_3.field_4==0.4375) && (a3.field_2.field_2.field_6.field_3.field_5==161)) && ((a3.field_2.field_2.field_6.field_4.field_1==61) && (a3.field_2.field_2.field_6.field_4.field_2==-0.328125)))) && (a3.field_2.field_3==190305229078528) && (a3.field_2.field_4==-0.0859375)) && (a3.field_3==E_31_8) && ((a3.field_4.field_1==1725236208)))) {
        goto bad;
    }

    if (!((a4.field_1==-2.41015625) && (a4.field_2==21064454635520) && (a4.field_3==201636834967552))) {
        goto bad;
    }

    if (!(a5==1968388378)) {
        goto bad;
    }

    if (!(a6==1.203125)) {
        goto bad;
    }

    if (!(a7==E_11_5)) {
        goto bad;
    }

    if (!((a8.field_1==165571080617984) && ((a8.field_2.field_1==0.671875) && (a8.field_2.field_2==E_2_6)) && ((a8.field_3.field_1==3138764072) && (a8.field_3.field_2==-1.03125) && (a8.field_3.field_3==50747094728704) && (a8.field_3.field_4==2634664560)) && ((a8.field_4.field_1==171685942525952) && (a8.field_4.field_2==2132603492)))) {
        goto bad;
    }

    if (!((a9.field_1==849505522) && (a9.field_2==0.28125) && (a9.field_3==1.4375) && ((a9.field_4.field_1==-0.4375) && (a9.field_4.field_2==E_2_3)))) {
        goto bad;
    }

    if (!(a10==E_37_6)) {
        goto bad;
    }

    return -0.47265625;

bad:
    return -1.22265625;
}

double
fn_7_c(uint64_t a1, t38 a2, uint8_t a3, t40 a4, t42 a5, t43 a6, uint8_t a7)
{
    if (!(a1==152633167446016)) {
        goto bad;
    }

    if (!(a2==E_38_5)) {
        goto bad;
    }

    if (!(a3==21)) {
        goto bad;
    }

    if (!((((a4.field_1.field_1.field_1==3.7265625) && ((a4.field_1.field_1.field_2.field_1==E_18_8) && (a4.field_1.field_1.field_2.field_2==1660321984) && (a4.field_1.field_1.field_2.field_3==0.46875) && (a4.field_1.field_1.field_2.field_4==E_19_6) && ((a4.field_1.field_1.field_2.field_5.field_1==3.328125) && (a4.field_1.field_1.field_2.field_5.field_2==-3.79296875) && ((a4.field_1.field_1.field_2.field_5.field_3.field_1==-0.984375) && (((a4.field_1.field_1.field_2.field_5.field_3.field_2.field_1.field_1==-0.71875) && (a4.field_1.field_1.field_2.field_5.field_3.field_2.field_1.field_2==E_2_5)) && (a4.field_1.field_1.field_2.field_5.field_3.field_2.field_2==107860547076096) && ((a4.field_1.field_1.field_2.field_5.field_3.field_2.field_3.field_1==0.984375) && (a4.field_1.field_1.field_2.field_5.field_3.field_2.field_3.field_2==E_2_3)) && (a4.field_1.field_1.field_2.field_5.field_3.field_2.field_4==1.03125) && (a4.field_1.field_1.field_2.field_5.field_3.field_2.field_5==103537434427392) && ((a4.field_1.field_1.field_2.field_5.field_3.field_2.field_6.field_1==-0.41015625) && (a4.field_1.field_1.field_2.field_5.field_3.field_2.field_6.field_2==257720167301120) && (a4.field_1.field_1.field_2.field_5.field_3.field_2.field_6.field_3==23490682028032))) && ((a4.field_1.field_1.field_2.field_5.field_3.field_3.field_1==-3.0546875) && (a4.field_1.field_1.field_2.field_5.field_3.field_3.field_2==0.671875) && (a4.field_1.field_1.field_2.field_5.field_3.field_3.field_3==189976970788864)) && (a4.field_1.field_1.field_2.field_5.field_3.field_4==0.015625) && (a4.field_1.field_1.field_2.field_5.field_3.field_5==E_11_5) && (a4.field_1.field_1.field_2.field_5.field_3.field_6==-0.41796875))) && (((a4.field_1.field_1.field_2.field_6.field_1.field_1==0.0625) && (a4.field_1.field_1.field_2.field_6.field_1.field_2==74574491418624) && (a4.field_1.field_1.field_2.field_6.field_1.field_3==201256086929408)) && (a4.field_1.field_1.field_2.field_6.field_2==1.359375) && ((a4.field_1.field_1.field_2.field_6.field_3.field_1==1220073662) && (((a4.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_1==46) && ((a4.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_1==265659814641664) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_2==66) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_3==27449604) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_4==84) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_5==3.22265625) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_6==1.9609375)) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_3==1100098150) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_4==E_2_6)) && ((a4.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_1==239) && ((a4.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_1==147943258062848) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_2==159) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_3==1367706340) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_4==86) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_5==3.89453125) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_6==-2.74609375)) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_3==3028657672) && (a4.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_4==E_2_3))) && (a4.field_1.field_1.field_2.field_6.field_3.field_3==18076800647168) && (a4.field_1.field_1.field_2.field_6.field_3.field_4==0.90625) && (a4.field_1.field_1.field_2.field_6.field_3.field_5==142)) && ((a4.field_1.field_1.field_2.field_6.field_4.field_1==199) && (a4.field_1.field_1.field_2.field_6.field_4.field_2==-0.109375)))) && (a4.field_1.field_1.field_3==15997300899840) && (a4.field_1.field_1.field_4==-0.2890625)) && (a4.field_1.field_2==3.20703125) && (a4.field_1.field_3==158990308868096)) && (a4.field_2==186) && ((a4.field_3.field_1==175995273347072) && (a4.field_3.field_2==127) && (a4.field_3.field_3==52543290) && (a4.field_3.field_4==206) && (a4.field_3.field_5==-0.46875) && (a4.field_3.field_6==-1.7734375))sed: Output line too long
)) {
        goto bad;
    }

    if (!((a5.field_1==207514518814720) && (a5.field_2==E_41_5) && (a5.field_3==3821234462) && ((a5.field_4.field_1==206987958681600) && ((a5.field_4.field_2.field_1==247) && (a5.field_4.field_2.field_2==0.296875)) && (a5.field_4.field_3==50935557783552) && ((a5.field_4.field_4.field_1==-1.46875) && (a5.field_4.field_4.field_2==107941368692736) && (((a5.field_4.field_4.field_3.field_1.field_1==188) && (a5.field_4.field_4.field_3.field_1.field_2==2.4140625) && (a5.field_4.field_4.field_3.field_1.field_3==216) && (a5.field_4.field_4.field_3.field_1.field_4==223121033003008) && (a5.field_4.field_4.field_3.field_1.field_5==E_2_2) && (a5.field_4.field_4.field_3.field_1.field_6==3252553412)) && ((a5.field_4.field_4.field_3.field_2.field_1==-1.11328125) && (a5.field_4.field_4.field_3.field_2.field_2==48622469120) && (a5.field_4.field_4.field_3.field_2.field_3==107679637045248)) && ((a5.field_4.field_4.field_3.field_3.field_1==1.109375) && (a5.field_4.field_4.field_3.field_3.field_2==E_2_1))) && (((a5.field_4.field_4.field_4.field_1.field_1==811385302) && (a5.field_4.field_4.field_4.field_1.field_2==-0.640625) && (a5.field_4.field_4.field_4.field_1.field_3==-0.671875) && ((a5.field_4.field_4.field_4.field_1.field_4.field_1==-1.5625) && (a5.field_4.field_4.field_4.field_1.field_4.field_2==E_2_1))) && (a5.field_4.field_4.field_4.field_2==120)))))) {
        goto bad;
    }

    if (!(a6==E_43_4)) {
        goto bad;
    }

    if (!(a7==164)) {
        goto bad;
    }

    return 2.984375;

bad:
    return 0.26171875;
}

t44
fn_8_c(void)
{
    return (t44) {.field_1=1.1875};

bad:
    return (t44) {.field_1=0.03125};
}

t53
fn_9_c(t45 a1, t46 a2, t45 a3, t47 a4, t48 a5, float a6, double a7, uint8_t a8, uint64_t a9, t49 a10)
{
    if (!(a1==E_45_6)) {
        goto bad;
    }

    if (!((a2.field_1==4118535730))) {
        goto bad;
    }

    if (!(a3==E_45_7)) {
        goto bad;
    }

    if (!(a4==E_47_2)) {
        goto bad;
    }

    if (!(a5==E_48_6)) {
        goto bad;
    }

    if (!(a6==-0.21875)) {
        goto bad;
    }

    if (!(a7==-1.4140625)) {
        goto bad;
    }

    if (!(a8==162)) {
        goto bad;
    }

    if (!(a9==170573566967808)) {
        goto bad;
    }

    if (!(a10==E_49_5)) {
        goto bad;
    }

    return (t53) {.field_1=-0.46875,.field_2=(t50) {.field_1=-0.28125,.field_2=(t39) {.field_1=(t30) {.field_1=3.50390625,.field_2=(t21) {.field_1=E_18_9,.field_2=298590436,.field_3=0.359375,.field_4=E_19_5,.field_5=(t20) {.field_1=2.28125,.field_2=-0.7421875,.field_3=(t12) {.field_1=-1.359375,.field_2=(t9) {.field_1=(t6) {.field_1=-1.53125,.field_2=E_2_2},.field_2=159748598530048,.field_3=(t6) {.field_1=1.328125,.field_2=E_2_2},.field_4=-0.546875,.field_5=146401660239872,.field_6=(t5) {.field_1=0.6875,.field_2=228983429529600,.field_3=105127852507136}},.field_3=(t10) {.field_1=-0.84375,.field_2=0.359375,.field_3=153705986129920},.field_4=-1.80859375,.field_5=E_11_1,.field_6=3.28125}},.field_6=(t15) {.field_1=(t5) {.field_1=1.96484375,.field_2=46322522914816,.field_3=96194539421696},.field_2=1.46875,.field_3=(t13) {.field_1=912869840,.field_2=(t8) {.field_1=(t3) {.field_1=176,.field_2=(t1) {.field_1=121643541069824,.field_2=41,.field_3=2802989848,.field_4=128,.field_5=2.15625,.field_6=-2.44921875},.field_3=1259853458,.field_4=E_2_2},.field_2=(t3) {.field_1=64,.field_2=(t1) {.field_1=86146197356544,.field_2=90,.field_3=3519983450,.field_4=58,.field_5=0.50390625,.field_6=-2.765625},.field_3=3211917080,.field_4=E_2_1}},.field_3=270136525455360,.field_4=-1.1875,.field_5=139},.field_4=(t14) {.field_1=146,.field_2=0.53125}}},.field_3=228868406378496,.field_4=0.90234375},.field_2=0.6796875,.field_3=158843979956224},.field_3=3350000678,.field_4=1.34375},.field_3=(t51) {.field_1=0.25390625},.field_4=3.8515625,.field_5=(t44) {.field_1=0.375},.field_6=(t52) {.field_1=(t23) {.field_1=271586366193664,.field_2=(t14) {.field_1=39,.field_2=-0.71875},.field_3=131323353497600,.field_4=(t22) {.field_1=1.34375,.field_2=129109365489664,.field_3=(t7) {.field_1=(t4) {.field_1=194,.field_2=-3.05078125,.field_3=181,.field_4=18560330366976,.field_5=E_2_3,.field_6=2277482010},.field_2=(t5) {.field_1=-1.61328125,.field_2=7613576773632,.field_3=190410156933120},.field_3=(t6) {.field_1=-1.4375,.field_2=E_2_2}},.field_4=(t17) {.field_1=(t16) {.field_1=2732417384,.field_2=-1.0625,.field_3=0.703125,.field_4=(t6) {.field_1=-0.921875,.field_2=E_2_5}},.field_2=137}}},.field_2=1.015625,.field_3=117426174033920,.field_4=25}};

bad:
    return (t53) {.field_1=0.328125,.field_2=(t50) {.field_1=-1.203125,.field_2=(t39) {.field_1=(t30) {.field_1=1.046875,.field_2=(t21) {.field_1=E_18_6,.field_2=4145360800,.field_3=0.3125,.field_4=E_19_6,.field_5=(t20) {.field_1=-2.0546875,.field_2=-3.3984375,.field_3=(t12) {.field_1=0.5625,.field_2=(t9) {.field_1=(t6) {.field_1=0.609375,.field_2=E_2_5},.field_2=221801050013696,.field_3=(t6) {.field_1=-0.296875,.field_2=E_2_6},.field_4=-0.78125,.field_5=263658707091456,.field_6=(t5) {.field_1=-2.4609375,.field_2=78100894187520,.field_3=172593887444992}},.field_3=(t10) {.field_1=-2.13671875,.field_2=-0.140625,.field_3=70190616412160},.field_4=-0.8671875,.field_5=E_11_2,.field_6=-0.33203125}},.field_6=(t15) {.field_1=(t5) {.field_1=-2.19140625,.field_2=202050438168576,.field_3=79035918319616},.field_2=0.421875,.field_3=(t13) {.field_1=3518277532,.field_2=(t8) {.field_1=(t3) {.field_1=226,.field_2=(t1) {.field_1=276554656776192,.field_2=116,.field_3=2062106064,.field_4=242,.field_5=-3.5,.field_6=-2.11328125},.field_3=793394830,.field_4=E_2_1},.field_2=(t3) {.field_1=232,.field_2=(t1) {.field_1=247826144034816,.field_2=241,.field_3=2988853828,.field_4=73,.field_5=2.61328125,.field_6=3.48828125},.field_3=960335446,.field_4=E_2_1}},.field_3=62990759493632,.field_4=1.0625,.field_5=62},.field_4=(t14) {.field_1=174,.field_2=-1.296875}}},.field_3=178677585936384,.field_4=2.82421875},.field_2=0.33984375,.field_3=240439403347968},.field_3=2488286120,.field_4=1.015625},.field_3=(t51) {.field_1=-0.0703125},.field_4=-0.79296875,.field_5=(t44) {.field_1=0.65625},.field_6=(t52) {.field_1=(t23) {.field_1=133232098148352,.field_2=(t14) {.field_1=218,.field_2=-0.984375},.field_3=118507166892032,.field_4=(t22) {.field_1=1.265625,.field_2=117681019027456,.field_3=(t7) {.field_1=(t4) {.field_1=155,.field_2=-3.7421875,.field_3=83,.field_4=136854257926144,.field_5=E_2_6,.field_6=93994772},.field_2=(t5) {.field_1=2.1328125,.field_2=224765803364352,.field_3=272524883394560},.field_3=(t6) {.field_1=1.5625,.field_2=E_2_5}},.field_4=(t17) {.field_1=(t16) {.field_1=824595126,.field_2=1.046875,.field_3=-1.375,.field_4=(t6) {.field_1=1.171875,.field_2=E_2_6}},.field_2=178}}},.field_2=0.734375,.field_3=130355430162432,.field_4=141}};
}

float
fn_10_c(float a1, t55 a2, t43 a3)
{
    if (!(a1==-1.4375)) {
        goto bad;
    }

    if (!(((a2.field_1.field_1==3.2734375) && ((a2.field_1.field_2.field_1==E_18_8) && (a2.field_1.field_2.field_2==298655464) && (a2.field_1.field_2.field_3==-1.21875) && (a2.field_1.field_2.field_4==E_19_6) && ((a2.field_1.field_2.field_5.field_1==-2.87109375) && (a2.field_1.field_2.field_5.field_2==3.77734375) && ((a2.field_1.field_2.field_5.field_3.field_1==0.15625) && (((a2.field_1.field_2.field_5.field_3.field_2.field_1.field_1==1.03125) && (a2.field_1.field_2.field_5.field_3.field_2.field_1.field_2==E_2_5)) && (a2.field_1.field_2.field_5.field_3.field_2.field_2==4317979738112) && ((a2.field_1.field_2.field_5.field_3.field_2.field_3.field_1==-0.375) && (a2.field_1.field_2.field_5.field_3.field_2.field_3.field_2==E_2_1)) && (a2.field_1.field_2.field_5.field_3.field_2.field_4==-0.625) && (a2.field_1.field_2.field_5.field_3.field_2.field_5==119942540689408) && ((a2.field_1.field_2.field_5.field_3.field_2.field_6.field_1==1.90234375) && (a2.field_1.field_2.field_5.field_3.field_2.field_6.field_2==84070773030912) && (a2.field_1.field_2.field_5.field_3.field_2.field_6.field_3==265295537897472))) && ((a2.field_1.field_2.field_5.field_3.field_3.field_1==-1.5078125) && (a2.field_1.field_2.field_5.field_3.field_3.field_2==-0.046875) && (a2.field_1.field_2.field_5.field_3.field_3.field_3==247680725286912)) && (a2.field_1.field_2.field_5.field_3.field_4==2.1484375) && (a2.field_1.field_2.field_5.field_3.field_5==E_11_1) && (a2.field_1.field_2.field_5.field_3.field_6==-0.6015625))) && (((a2.field_1.field_2.field_6.field_1.field_1==-1.84765625) && (a2.field_1.field_2.field_6.field_1.field_2==4068918427648) && (a2.field_1.field_2.field_6.field_1.field_3==127361585905664)) && (a2.field_1.field_2.field_6.field_2==0.6875) && ((a2.field_1.field_2.field_6.field_3.field_1==4144444706) && (((a2.field_1.field_2.field_6.field_3.field_2.field_1.field_1==65) && ((a2.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_1==272708430856192) && (a2.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_2==226) && (a2.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_3==232384220) && (a2.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_4==9) && (a2.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_5==3.86328125) && (a2.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_6==1.4609375)) && (a2.field_1.field_2.field_6.field_3.field_2.field_1.field_3==735172550) && (a2.field_1.field_2.field_6.field_3.field_2.field_1.field_4==E_2_6)) && ((a2.field_1.field_2.field_6.field_3.field_2.field_2.field_1==61) && ((a2.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_1==558452178944) && (a2.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_2==178) && (a2.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_3==1092184810) && (a2.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_4==98) && (a2.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_5==1.76953125) && (a2.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_6==0.4453125)) && (a2.field_1.field_2.field_6.field_3.field_2.field_2.field_3==3483926918) && (a2.field_1.field_2.field_6.field_3.field_2.field_2.field_4==E_2_3))) && (a2.field_1.field_2.field_6.field_3.field_3==240867814670336) && (a2.field_1.field_2.field_6.field_3.field_4==0.796875) && (a2.field_1.field_2.field_6.field_3.field_5==198)) && ((a2.field_1.field_2.field_6.field_4.field_1==86) && (a2.field_1.field_2.field_6.field_4.field_2==0.421875)))) && (a2.field_1.field_3==155213721894912) && (a2.field_1.field_4==-0.5859375)) && (a2.field_2==15967994380288) && ((a2.field_3.field_1==0.984375) && (a2.field_3.field_2==E_2_3) && (a2.field_3.field_3==E_43_4)) && (a2.field_4==0.09375))) {
        goto bad;
    }

    if (!(a3==E_43_4)) {
        goto bad;
    }

    return 1.0;

bad:
    return 0.125;
}

uint32_t
fn_11_c(t40 a1, uint64_t a2, t59 a3)
{
    if (!((((a1.field_1.field_1.field_1==-1.875) && ((a1.field_1.field_1.field_2.field_1==E_18_7) && (a1.field_1.field_1.field_2.field_2==3060119432) && (a1.field_1.field_1.field_2.field_3==1.4375) && (a1.field_1.field_1.field_2.field_4==E_19_8) && ((a1.field_1.field_1.field_2.field_5.field_1==-3.14453125) && (a1.field_1.field_1.field_2.field_5.field_2==1.421875) && ((a1.field_1.field_1.field_2.field_5.field_3.field_1==0.171875) && (((a1.field_1.field_1.field_2.field_5.field_3.field_2.field_1.field_1==1.28125) && (a1.field_1.field_1.field_2.field_5.field_3.field_2.field_1.field_2==E_2_1)) && (a1.field_1.field_1.field_2.field_5.field_3.field_2.field_2==115694040645632) && ((a1.field_1.field_1.field_2.field_5.field_3.field_2.field_3.field_1==0.515625) && (a1.field_1.field_1.field_2.field_5.field_3.field_2.field_3.field_2==E_2_6)) && (a1.field_1.field_1.field_2.field_5.field_3.field_2.field_4==0.78125) && (a1.field_1.field_1.field_2.field_5.field_3.field_2.field_5==83317925609472) && ((a1.field_1.field_1.field_2.field_5.field_3.field_2.field_6.field_1==-0.16015625) && (a1.field_1.field_1.field_2.field_5.field_3.field_2.field_6.field_2==49194524213248) && (a1.field_1.field_1.field_2.field_5.field_3.field_2.field_6.field_3==99285919989760))) && ((a1.field_1.field_1.field_2.field_5.field_3.field_3.field_1==-1.60546875) && (a1.field_1.field_1.field_2.field_5.field_3.field_3.field_2==0.359375) && (a1.field_1.field_1.field_2.field_5.field_3.field_3.field_3==242615500275712)) && (a1.field_1.field_1.field_2.field_5.field_3.field_4==2.5546875) && (a1.field_1.field_1.field_2.field_5.field_3.field_5==E_11_1) && (a1.field_1.field_1.field_2.field_5.field_3.field_6==0.984375))) && (((a1.field_1.field_1.field_2.field_6.field_1.field_1==-1.34375) && (a1.field_1.field_1.field_2.field_6.field_1.field_2==86155678318592) && (a1.field_1.field_1.field_2.field_6.field_1.field_3==125076719534080)) && (a1.field_1.field_1.field_2.field_6.field_2==1.15625) && ((a1.field_1.field_1.field_2.field_6.field_3.field_1==2526692668) && (((a1.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_1==243) && ((a1.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_1==162605589856256) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_2==217) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_3==2977687486) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_4==74) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_5==2.37109375) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_2.field_6==1.49609375)) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_3==1665217660) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_1.field_4==E_2_3)) && ((a1.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_1==63) && ((a1.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_1==83432466808832) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_2==163) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_3==2825472336) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_4==245) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_5==0.5078125) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_2.field_6==-0.71875)) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_3==1094350794) && (a1.field_1.field_1.field_2.field_6.field_3.field_2.field_2.field_4==E_2_1))) && (a1.field_1.field_1.field_2.field_6.field_3.field_3==163990210084864) && (a1.field_1.field_1.field_2.field_6.field_3.field_4==0.34375) && (a1.field_1.field_1.field_2.field_6.field_3.field_5==86)) && ((a1.field_1.field_1.field_2.field_6.field_4.field_1==50) && (a1.field_1.field_1.field_2.field_6.field_4.field_2==-0.09375)))) && (a1.field_1.field_1.field_3==46874424901632) && (a1.field_1.field_1.field_4==-2.23046875)) && (a1.field_1.field_2==-3.16015625) && (a1.field_1.field_3==139156190003200)) && (a1.field_2==133) && ((a1.field_3.field_1==151978903994368) && (a1.field_3.field_2==92) && (a1.field_3.field_3==469183736) && (a1.field_3.field_4==125) && (a1.field_3.field_5==3.43359375) && (a1.field_3.field_6==3.57421875)))) {
        goto bad;
    }

    if (!(a2==64581458329600)) {
        goto bad;
    }

    if (!((a3.field_1==E_56_6) && (a3.field_2==2175957910) && ((a3.field_3.field_1==E_26_6) && (a3.field_3.field_2==168) && ((a3.field_3.field_3.field_1==80343449468928) && (a3.field_3.field_3.field_2==E_41_3) && (a3.field_3.field_3.field_3==458518304) && ((a3.field_3.field_3.field_4.field_1==132879007088640) && ((a3.field_3.field_3.field_4.field_2.field_1==141) && (a3.field_3.field_3.field_4.field_2.field_2==0.3125)) && (a3.field_3.field_3.field_4.field_3==67929798082560) && ((a3.field_3.field_3.field_4.field_4.field_1==-0.65625) && (a3.field_3.field_3.field_4.field_4.field_2==121657342951424) && (((a3.field_3.field_3.field_4.field_4.field_3.field_1.field_1==53) && (a3.field_3.field_3.field_4.field_4.field_3.field_1.field_2==-0.0546875) && (a3.field_3.field_3.field_4.field_4.field_3.field_1.field_3==110) && (a3.field_3.field_3.field_4.field_4.field_3.field_1.field_4==109205112356864) && (a3.field_3.field_3.field_4.field_4.field_3.field_1.field_5==E_2_5) && (a3.field_3.field_3.field_4.field_4.field_3.field_1.field_6==3971726706)) && ((a3.field_3.field_3.field_4.field_4.field_3.field_2.field_1==-3.20703125) && (a3.field_3.field_3.field_4.field_4.field_3.field_2.field_2==177956855611392) && (a3.field_3.field_3.field_4.field_4.field_3.field_2.field_3==219483313799168)) && ((a3.field_3.field_3.field_4.field_4.field_3.field_3.field_1==1.265625) && (a3.field_3.field_3.field_4.field_4.field_3.field_3.field_2==E_2_6))) && (((a3.field_3.field_3.field_4.field_4.field_4.field_1.field_1==2465490790) && (a3.field_3.field_3.field_4.field_4.field_4.field_1.field_2==0.53125) && (a3.field_3.field_3.field_4.field_4.field_4.field_1.field_3==-0.078125) && ((a3.field_3.field_3.field_4.field_4.field_4.field_1.field_4.field_1==0.3125) && (a3.field_3.field_3.field_4.field_4.field_4.field_1.field_4.field_2==E_2_2))) && (a3.field_3.field_3.field_4.field_4.field_4.field_2==219))))) && ((a3.field_3.field_4.field_1==-0.828125) && (((a3.field_3.field_4.field_2.field_1.field_1==1.484375) && (a3.field_3.field_4.field_2.field_1.field_2==E_2_3)) && (a3.field_3.field_4.field_2.field_2==223230053711872) && ((a3.field_3.field_4.field_2.field_3.field_1==0.421875) && (a3.field_3.field_4.field_2.field_3.field_2==E_2_4)) && (a3.field_3.field_4.field_2.field_4==-0.875) && (a3.field_3.field_4.field_2.field_5==208129902903296) && ((a3.field_3.field_4.field_2.field_6.field_1==-2.94921875) && (a3.field_3.field_4.field_2.field_6.field_2==217811484278784) && (a3.field_3.field_4.field_2.field_6.field_3==95447919886336))) && ((a3.field_3.field_4.field_3.field_1==-1.0625) && (a3.field_3.field_4.field_3.field_2==-1.375) && (a3.field_3.field_4.field_3.field_3==217105262837760)) && (a3.field_3.field_4.field_4==0.5546875) && (a3.field_3.field_4.field_5==E_11_4) && (a3.field_3.field_4.field_6==-2.32421875)) && (a3.field_3.field_5==4119368836) && (a3.field_3.field_6==-0.484375)) && ((a3.field_4.field_1==E_19_2) && ((a3.field_4.field_2.field_1==-3.52734375) && ((a3.field_4.field_2.field_2.field_1==E_18_9) && (a3.field_4.field_2.field_2.field_2==3895962858) && (a3.field_4.field_2.field_2.field_3==1.40625) && (a3.field_4.field_2.field_2.field_4==E_19_8) && ((a3.field_4.field_2.field_2.field_5.field_1==-0.1484375) && (a3.field_4.field_2.field_2.field_5.field_2==0.92578125) && ((a3.field_4.field_2.field_2.field_5.field_3.field_1==-0.265625) && (((a3.field_4.field_2.field_2.field_5.field_3.field_2.field_1.field_1==-1.328125) && (a3.field_4.field_2.field_2.field_5.field_3.field_2.field_1.field_2==E_2_5)) && (a3.field_4.field_2.field_2.field_5.field_3.field_2.field_2==76685686865920) && ((a3.field_4.field_2.field_2.field_5.field_3.field_2.field_3.field_1==-0.578125) && (a3.field_4.field_2.field_2.field_5.field_3.field_2.field_3.field_2==E_2_5)) && (a3.field_4.field_2.field_2.field_5.field_3.field_2.field_4==0.4375) && (a3.field_4.field_2.field_2.field_5.field_3.field_2.field_5==31133991829504) && ((a3.field_4.field_2.field_2.field_5.field_3.field_2.field_6.field_1==-0.59765625) && (a3.field_4.field_2.field_2.field_5.field_3.field_2.field_6.field_2==81066773446656) && (a3.field_4.field_2.field_2.field_5.field_3.field_2.field_6.field_3==93021535076352))) && ((a3.field_4.field_2.field_2.field_5.field_3.field_3.field_1==-2.6328125) && (a3.field_4.field_2.field_2.field_5.field_3.field_3.field_2==-0.28125) && (a3.field_4.field_2.field_2.field_5.field_3.field_3.field_3==29358042644480)) && (a3.field_4.field_2.field_2.field_5.field_3.field_4==0.015625) && (a3.field_4.field_2.field_2.field_5.field_3.field_5==E_11_5) && (a3.field_4.field_2.field_2.field_5.field_3.field_6==-2.60546875))) && (((a3.field_4.field_2.field_2.field_6.field_1.field_1==-1.7734375) && (a3.field_4.field_2.field_2.field_6.field_1.field_2==97291012014080) && (a3.field_4.field_2.field_2.field_6.field_1.field_3==203235864870912)) && (a3.field_4.field_2.field_2.field_6.field_2==-0.078125) && ((a3.field_4.field_2.field_2.field_6.field_3.field_1==1308944570) && (((a3.field_4.field_2.field_2.field_6.field_3.field_2.field_1.field_1==17) && ((a3.field_4.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_1==169812367376384) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_2==90) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_3==214389768) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_4==130) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_5==-1.5390625) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_1.field_2.field_6==3.83984375)) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_1.field_3==4258613008) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_1.field_4==E_2_6)) && ((a3.field_4.field_2.field_2.field_6.field_3.field_2.field_2.field_1==103) && ((a3.field_4.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_1==19826711592960) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_2==188) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_3==2910355046) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_4==99) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_5==0.2265625) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_2.field_2.field_6==-1.4453125)) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_2.field_3==2141412632) && (a3.field_4.field_2.field_2.field_6.field_3.field_2.field_2.field_4==E_2_6))) && (a3.field_4.field_2.field_2.field_6.field_3.field_3==169766818938880) && (a3.field_4.field_2.field_2.field_6.field_3.field_4==1.03125) && (a3.field_4.field_2.field_2.field_6.field_3.field_5==29)) && ((a3.field_4.field_2.field_2.field_6.field_4.field_1==3) && (a3.field_4.field_2.field_2.field_6.field_4.field_2==1.359375)))) && (a3.field_4.field_2.field_3==173832218083328) && (a3.field_4.field_2.field_4==2.25390625)) && (a3.field_4.field_3==-1.25) && (a3.field_4.field_4==3.0546875)))) {
        goto bad;
    }

    return 3531194568;

bad:
    return 1575783646;
}

uint32_t
fn_12_c(t63 a1, double a2, uint32_t a3, t68 a4)
{
    if (!(((a1.field_1.field_1==1) && (a1.field_1.field_2==-0.953125) && (a1.field_1.field_3==28380691169280) && ((a1.field_1.field_4.field_1==266791176896512) && (a1.field_1.field_4.field_2==173) && (a1.field_1.field_4.field_3==841702660) && (a1.field_1.field_4.field_4==225) && (a1.field_1.field_4.field_5==-2.734375) && (a1.field_1.field_4.field_6==-2.24609375))) && ((a1.field_2.field_1==-0.875) && ((a1.field_2.field_2.field_1==2975373622) && (a1.field_2.field_2.field_2==1.46875) && (a1.field_2.field_2.field_3==-0.828125) && ((a1.field_2.field_2.field_4.field_1==0.390625) && (a1.field_2.field_2.field_4.field_2==E_2_2)))) && (a1.field_3==0.515625) && ((a1.field_4.field_1==E_18_1) && (((a1.field_4.field_2.field_1.field_1==124) && (a1.field_4.field_2.field_1.field_2==0.00390625) && (a1.field_4.field_2.field_1.field_3==79) && (a1.field_4.field_2.field_1.field_4==236261015289856) && (a1.field_4.field_2.field_1.field_5==E_2_3) && (a1.field_4.field_2.field_1.field_6==2156655358)) && ((a1.field_4.field_2.field_2.field_1==2.4140625) && (a1.field_4.field_2.field_2.field_2==51905146388480) && (a1.field_4.field_2.field_2.field_3==223439089434624)) && ((a1.field_4.field_2.field_3.field_1==0.53125) && (a1.field_4.field_2.field_3.field_2==E_2_1)))) && (a1.field_5==255485003694080) && (a1.field_6==3.1015625))) {
        goto bad;
    }

    if (!(a2==3.234375)) {
        goto bad;
    }

    if (!(a3==1992315490)) {
        goto bad;
    }