test_seal_munmap_vma_with_gap
test_seal_munmap_vma_with_gap(false);
test_seal_munmap_vma_with_gap(true);