{
int32_t *bin = queue->write_prepare();
store_32(bin, 1);
+ printf("write_bin %d, val %d\n", bin, 1);
queue->write_publish();
}
int32_t *bin;
while (bin = queue->read_fetch()) {
printf("Read: %d\n", load_32(bin));
+ printf("read_bin %d, val %d\n", bin, load_32(bin));
queue->read_consume();
}
}
printf("Adding initial element\n");
int32_t *bin = queue.write_prepare();
store_32(bin, 17);
+ printf("init_write_bin %d, val %d\n", bin, 17);
queue.write_publish();
#endif