- head = ((volatile lifo_t *)stk)->head;
- ((volatile node_t *)x)->next = head;
- } while (__sync_val_compare_and_swap(&stk->head, head, x) != head);
+ head = VOLATILE_DEREF(stk).head;
+ VOLATILE_DEREF(x).next = head;
+ } while (SYNC_CAS(&stk->head, head, x) != head);