Corpus for read$eventfd:

Coverage	Program