> it's merely unspecified - i.e., "depends on the system in a well-known and predictable way,"

I think that should be implementation-defined behavior, not unspecified behavior? IIRC unspecified behavior in C is not required to be known or consistent.