I audited this to make sure I was only marking ones that really
should be unreachable.