#! /bin/sh

SED=/usr/bin/sed

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

