Corpus for fsetxattr$trusted_overlay_redirect:

Coverage	Program