Some implementation details

Here are some details about the implementation which might be interesting, although they do not affect the ISO-defined semantics of the library.