#include <stdio.h>
#include <stdint.h>
typedef union TestUnion {
uint64_t bits;
} TestUnion;
uint64_t give_back(TestUnion tu) {
return tu.bits;
}