Assertion: byte's value | /r/HasProperty | distinct
Facets:
value: from all valid character codes
type: OTHER
Source sentences:
text: The actual value of EOF is implementation-dependent (but is commonly -1, such as in glibc) and is distinct from all valid character codes.