
        Factor out FileManager::promote_memory().

f672bf9