Comment by _kst_

If the behavior is undefined, there is no wrong result.