#! /bin/sh

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