typedef struct Buffer<Impl>{
        union Data* buffer;
        union Data* data;
        __code put(Impl* buffer, union Data* data, __code next(...));
        __code take(Impl* buffer, __code next(union Data*, ...));
        __code next(...);
} Buffer;