#! /bin/sh

SED=sed

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

