test_seal_discard_ro_anon_on_filebacked
test_seal_discard_ro_anon_on_filebacked(false);
test_seal_discard_ro_anon_on_filebacked(true);