r0 = inotify_init()
read$char_usb(r0, 0x0, 0x0)