Symbol: alloc_migration_target