Corpus for write$char_usb:

Coverage	Program
3680	creat-pwrite64-openat-write$char_usb