Corpus for lsetxattr$trusted_overlay_redirect:
Coverage
Program