tail = atomic_load_explicit(&q->tail, acquire);
/**** SPEC Error (testcase1.c) ****/
- next = atomic_load_explicit(&q->nodes[get_ptr(head)].next, relaxed);
+ next = atomic_load_explicit(&q->nodes[get_ptr(head)].next, acquire);
/**
@Begin
@Potential_commit_point_define: true