Corpus for lsetxattr$trusted_overlay_redirect:
Coverage Program