Symbol: test_seal_mprotect_split