Assertion: pointer | /r/CapableOf | point to multiple segments
Facets:
Source sentences:
text: This is very slow but allows the pointer to point to multiple segments, and allows for accurate pointer comparisons, as if the platform were a flat memory model: It forbids the aliasing of memory as described above, so two huge pointers that reference the same memory location are always equal.