Corpus for read$char_usb:

Coverage	Program
131	openat$hwrng-read$char_usb