(unexec_regions_recorder, unexec_regions_merge):