The text e3fc9c044ddd, as Debian 6.0 (Squeeze) shipped it.
Makes a particular alternate setting be current
usb_set_interface(9) on Linux now
