Corpus for read$eventfd:

Coverage	Program
575	eventfd2-read$eventfd
92	eventfd2-read$eventfd