Corpus for setxattr$trusted_overlay_redirect:

Coverage	Program