Corpus for write$binfmt_misc:

Coverage	Program
1024	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-socket$nl_xfrm-write$binfmt_misc