Corpus for setxattr$trusted_overlay_opaque:
Coverage
Program