The text 191232e5531b, as Debian 4.0 (Etch) shipped it.
get the interface object with a given interface number
usb_ifnum_to_if(9) on Linux now
