A simple replacement for the standard c++ library