static inline float64 ucf64_itod(uint64_t i)

{

    union {

        uint64_t i;

        float64 d;

    } v;



    v.i = i;

    return v.d;

}

static inline float64 ucf64_itod(uint64_t i)

{

    union {

        uint64_t i;

        float64 d;

    } v;



    v.i = i;

    return v.d;

}

static inline float64 FUNC_0(uint64_t i)

{

    union {

        uint64_t i;

        float64 d;

    } VAR_0;



    VAR_0.i = i;

    return VAR_0.d;

}

static inline float64 FUNC_0(uint64_t i)
{ union { uint64_t i; float64 d; } VAR_0; VAR_0.i = i; return VAR_0.d; }