Ok, I was not aware of `NDEBUG` being in the Standard. Anyways - thanks for looking into this!