1#! /bin/sh 2 3./filter_stderr "$@" | \ 4sed "s/: get ([^)]*)/: get (...)/" | 5sed "s/: main ([^)]*)/: main (...)/" 6 7