Python does mremap.