On Thu, Nov 2, 2017 at 2:01 AM, Toerless Eckert <tte@xxxxxxxxx> wrote: > How do i know which behavior of your code is a bug and which behavior is a feature ? The point of this exercise is to make the implementation and specification match as closely as is feasible without the extreme overhead of formal proof. There is still the possibility/possibility that the specification is broken. Hence the reason to participate in a standards review process.