#! /bin/sh

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