Lines Matching full:unordered
511 are neither equal, less or greater, but merely unordered with respect517 version, they are unordered: we cannot say that either happens-before
