Corpus for read$eventfd:

Coverage	Program
1203	openat$procfs-read$eventfd