# Pipe either memory segment's output through this after the other script,
# to remove things that depend on exact addresses.

/^[0-9a-f]\{16\}/d
s/^  lit [0-9]\+ exit$/  lit REDACTED exit/