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