debug-symbol-migration-possibly-complete
