A stream manipulation library in C++