A minimal subset of the Boost C++ library