4 (constant 'LIB "/lib/x86_64-linux-gnu/libc.so.6")
6 (import LIB "ioctl" "int"
8 "unsigned long" ; request
9 "void*" ; data [optional]
13 'USBDEVFS_RESET 21780 ; _IO('U', 20)
17 (write-line 2 (join (map string (args)) " "))
20 (unless (setf FD (open (main-args -1) "write"))
21 (die "cannot open" (main-args -1)))
23 (println (ioctl FD USBDEVFS_RESET 0))