...
Code that depends on implementation-defined behavior is non-portable. In the unusual case where a program is guaranteed to execute only on a single implementation, it It is permissible to depend on implementation-specific ranges of memoized values, provided that all targeted implementations support these greater ranges.
Noncompliant Code Example
...