Corpus for openat$thread_pidfd:

Coverage	Program