Corpus for ioctl$RNDCLEARPOOL:

Coverage	Program
142	openat$urandom-ioctl$RNDCLEARPOOL