Corpus for write$eventfd:

Coverage	Program
121	eventfd-write$eventfd