Corpus for read$char_usb:

Coverage	Program
291	openat$vcsa-read$char_usb