This section provides an overview of the implementation details. See the comments in the source code for more detailed information.