+
+ // ***********************************
+ // Inference analysis results have two choices here, it either
+ // makes wildcard(6) acq_rel and wildcard(8) relaxed or
+ // wildcard(6) release and wildcard(8) acquire. The
+ // synchronization here is for enqueue() to dequeue(), and
+ // actually either synchronization options will work!!!