A benchmark for C++ input/output facilities