3 typedef unsigned long uint64_t;
7 value_t(uint64_t c) : _count(c) {}
17 __attribute__((noclone, noinline))
22 x->eventTime = value_t(10);
29 char buffer[sizeof(X) + sizeof(uint64_t)*4];
31 x->eventTime = value_t(999);
37 if (x->arr[0] != 11 || x->arr[1] != 12 || x->arr[2] != 13 || x->arr[3] != 14)