// A stream for measuring streamed output
// ---------------------------------------------------------------------------
// A stream for measuring streamed output
// ---------------------------------------------------------------------------
// ---------------------------------------------------------------------------
// "Filter" streams
// ---------------------------------------------------------------------------
// ---------------------------------------------------------------------------
// "Filter" streams
// ---------------------------------------------------------------------------