Maybe this will be useful at some point, e.g., if we should support more types of dumps. For now, I don't need it.