#! /bin/sh
./filter_stderr |
sed "/^   by 0x........: /d"
