typedef struct Atomic<Impl>{
    union Data* atomic;
    union Data** ptr;
    union Data* oldData;
    union Data* newData;
    __code checkAndSet(Impl* atomic, union Data** ptr, union Data* oldData, union Data* newData, __code next(...), __code fail(...));
    __code next(...);
    __code fail(...);
} Atomic;