#!/usr/bin/sed -f
# Remove IDs from Stmts.
s/\o033\[0m\o033\[0;1;35m\([A-Za-z]*\)\o033\[0m\o033\[0;33m 0x[0-9a-f]*/\o033[0m\o033[0;1;35m\1\o033[0m\o033[0;33m/g
# Remove source locations and ranges.
s/ <\o033\[0;33m[^>]*\o033\[0m>//g
s/ \o033\[0;33mline:[0-9]*:[0-9]*//g
s/ \o033\[0;33mcol:[0-9]*//g