1#! /bin/sh
2
3dir=`dirname $0`
4
5# Remove number and position of discards
6sed "s/discard [0-9]\+ ([0-9]\+ -> [0-9]\+) translations in range/discard ... (... -> ...) translations in range/"     |
7
8$dir/filter_addresses
9