behavior, for a well-formed program ([defns.well.formed]) construct and correct data, that depends on the implementation

[Note 1: 

The implementation is not required to document which behavior occurs.

The range of possible behaviors is usually delineated by this document.

— end note]