The text 7a456bcc5e21, as Debian 7 (Wheezy) shipped it.
Makes a particular alternate setting be current
usb_set_interface(9) on Linux now
