Corpus for read$hiddev:

Coverage	Program
48	read$hiddev