Corpus for write$eventfd:

Coverage	Program