removed symbols: 0
live call sites broken: 0

no remaining references to any removed symbol.