#! /bin/sh

./filter_stderr |
sed "s/checked [0-9]\+ bytes./checked ... bytes./"
