"AArch64, with fences and atomics" include "cos.cat" // SC per-location acyclic po&loc|rf|co|fr as internal let bob-more = [L]; po; [A] | [A | Q]; po | po; [L] let bob = [M];po;[DMB.SY];po;[M] | [W];po;[DMB.ST];po;[W] | [R];po;[DMB.LD];po;[M] | bob-more let lob = bob let obs = rfe|co|fr let rec ob = obs | lob | ob;ob irreflexive ob as external