We use the stl implementation, which provides the following optimized data-structures: See the STL reference manual [STL96], for more details.