Corpus for read$char_usb:

Coverage	Program
67	pipe2-read$char_usb