minix3/lib/libdevman/usb.pico