#! /bin/sh

./filter_stderr "$@" |
sed "s/: fooble ([^)]*)/: fooble (...)/"

