On 18.05.2016 19:10, Timon Gehr wrote: > implementation-defined behaviour Maybe that wasn't the right term (it's worse than that; I think the documentation of the implementation is not even required to tell you precisely what it does).