We need something like the ancient unexec from Emacs to dump out Python images. More generally, we need something like that for generic checkpointing, maybe based on CRIU.