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