# 1 "u64solrs.c"
# 1 "<built-in>"
# 1 "<command line>"
# 1 "u64solrs.c"
extern "C" void abort(void);

typedef unsigned int uint32_t;
typedef unsigned long long uint64_t;
# 16 "u64solrs.c"
typedef struct __x_uint32_t { uint32_t a[2]; } x_uint32_t;
typedef struct __x_uint64_t { uint64_t a[1]; } x_uint64_t;



void dotests_1()
{
    x_uint64_t arg1;
    x_uint32_t result;
    arg1.a[0] = 0x00008000ffffffffull;
    {
 union {
     x_uint64_t first;
     x_uint32_t second;
 } conv;
 conv.first = arg1;
 result = conv.second;
    }
    {
 uint32_t exp;
 uint32_t got;
 got=((result).a[((2)-1-(0))]);
 exp=4294967295U;
 if(got!=exp) abort();
 got=((result).a[((2)-1-(1))]);
 exp=32768U;
 if(got!=exp) abort();
    }
}


int main() {
    dotests_1();
    return 0;
}